RFR: 8330606: Redefinition doesn't but should verify the new klass [v3]

[Coleen Phillimore]

> This change adds a couple of comments, removes some ancient bootstrapping code, and adds an old test that we call the verifier for redefining a class, even one in the bootclass path.
> Tested with tier1-4.

Coleen Phillimore has updated the pull request incrementally with one additional commit since the last revision:

  Reduce test, fix bug in verifier, move and add comments to is_eligible_for_verification.

-------------

Changes:
  - all: https://git.openjdk.org/jdk/pull/22116/files
  - new: https://git.openjdk.org/jdk/pull/22116/files/af6b1e12..5ce8068b

Webrevs:
 - full: https://webrevs.openjdk.org/?repo=jdk&pr=22116&range=02
 - incr: https://webrevs.openjdk.org/?repo=jdk&pr=22116&range=01-02

  Stats: 67 lines in 4 files changed: 18 ins; 47 del; 2 mod
  Patch: https://git.openjdk.org/jdk/pull/22116.diff
  Fetch: git fetch https://git.openjdk.org/jdk.git pull/22116/head:pull/22116

PR: https://git.openjdk.org/jdk/pull/22116