Additional runtime checking of the GC system. This is here because these checks should not be necessary if GC is working correctly.