Reviewed-by: sla, ctornqvi, lfoltan, mchung, alanb
Field count handling fixed, has_nonstatic_fields invariant fixed, oop map overrun fixed; new asserts Reviewed-by: kvn, dcubed, coleenp