Isn't the call to GC_mutatorInvariant sufficient to make sure that the heap was ok at the end of the penultimate GC?