VM.ExtremeAssertions instead of
VM.VerifyAssertions if the assertion is costly to check but generally useful. These kinds of assertions are only enabled when
config.assertions is set to
IR.PARANOID to guard assertions that relate to the intermediate representation in the optimizing compiler.
Assertions in the MMTk Test Harness