Fix for PR1633: Verifier doesn't fully verify GC intrinsics