The VerifyArchivedFields option was added in JDK-8253081, to make sure we can run the full GC even when the p->klass() of some archived heap object p is not yet loaded into the system dictionary. See https://github.com/iklam/jdk/blame/eb0bba7aa2afff7cabc44caed28269f9a60f06be/src/hotspot/share/cds/heapShared.cpp#L670

VerifyArchivedFields defines two levels of verification:

(a) Basic verification with VM_Verify (no side effects)
(b) Detailed verification by forcing a GC (with side effects)

Currently, (a) is enabled by default, and we don't have a test case for (b).

=========================
Proposed improvements:

[1] (a) causes fastdebug build to slow down a few tens of ms for G1 (or more for other GCs such as Serial). It's not necessary to enable it for every single test in jtreg. It should be enough to enable (a) only for the CDS test cases.

[2] Add a new test case for (b)