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

[Ioi Lam]

On Tue, 1 Jul 2025 23:56:25 GMT, Calvin Cheung <ccheung 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.

Thanks @calvinccheung for the review

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

PR Comment: https://git.openjdk.org/jdk/pull/26079#issuecomment-3026371466