No_Safepoint_Verifier and No_GC_Verifier are too ineffective. It all depends
on GC or allocations to happen to detect illegal safepoint/gc. Instead,
when No_Safepoint_Verifier is present, we should check in all possible sites
that contain potential safepoints, such as many of the state transitions.