Verify surviving objects post-GC

We can verify objects that survive after GC in old and mid generations
if their references are valid. This doesn't require a pausing mutators.

Bug: 343220989
Bug: 397381582
Test: ATP test-infra
Change-Id: I1ba6c17b1a1643c11d139ac589fb923467ec51a3