RFR: 8361215: Add AOT test case: verification constraint classes are excluded

[Ioi Lam]

If the AOT cache contains a class like this:


class A {
    X foo() {
        return new Y();
    }
}

A will be stored with the following verification constraint:

- `X` must be a supertype of `Y`

This constraint is checked when class `A` is linked.

I added a test case for this scenario to make sure it works properly even when `X` and/or `Y` are excluded from the AOT cache.

I also fixed some pre-existing problems with test exclusion and logging.

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

Commit messages:
 - 8361215: Add AOT test case: verification constraint classes are excluded

Changes: https://git.openjdk.org/jdk/pull/26079/files
  Webrev: https://webrevs.openjdk.org/?repo=jdk&pr=26079&range=00
  Issue: https://bugs.openjdk.org/browse/JDK-8361215
  Stats: 70 lines in 3 files changed: 54 ins; 1 del; 15 mod
  Patch: https://git.openjdk.org/jdk/pull/26079.diff
  Fetch: git fetch https://git.openjdk.org/jdk.git pull/26079/head:pull/26079

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