RFR: Verify TAMS and object sizes

[Aleksey Shipilev]

This change adds TAMS verification and object size fit checks to Verifier:
  http://cr.openjdk.java.net/~shade/shenandoah/verifier-tams-sizes/webrev.01/

Testing: hotspot_gc_shenandoah

Thanks,
-Aleksey