The "Part" class has some heap-region range assertions and verification, but the real logic is delegated to G1BlockOffsetTable.
Merge the two to simplify the structure. (Some assertions might need to be removed in the process.)
Merge the two to simplify the structure. (Some assertions might need to be removed in the process.)