Both the full gc verification and the heap region verification have virtually identical closures that verify that oops and its references are good.

Merge them.