verify.cc (class _Jv_BytecodeVerifier): Fixed logic.