Currently verification during young collection is a bit strewn all over G1CollectedHeap::do_collection_pause_at_safepoint_helper().
There are already the verify_before/after_collection methods that should preferably contain all before/after verification.
There are already the verify_before/after_collection methods that should preferably contain all before/after verification.