Verifies MustDoNullCheck() on InstanceOf and CheckCast