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

[Calvin Cheung]

On Tue, 1 Jul 2025 20:28:15 GMT, Ioi Lam <iklam at openjdk.org> wrote:

> 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.

Looks good.

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

Marked as reviewed by ccheung (Reviewer).

PR Review: https://git.openjdk.org/jdk/pull/26079#pullrequestreview-2977249631