[9] RFR (XS) 8049252: VerifyStack logic in Deoptimization::unpack_frames does not expect to see invoke bc at the top frame during normal deoptimization

[Vladimir Kozlov]

http://cr.openjdk.java.net/~kvn/8049252/webrev/
https://bugs.openjdk.java.net/browse/JDK-8049252

The check in VerifyStack code was not updated when we added reexecute 
flag for C2 intrinsic code. C2 uses the flag for intrinsics to reexecute 
the call which is intrinsified. Such intrinsics (clone(), copyOf()) have 
runtime calls to allocate new object and a normal deoptimization may 
happen on the return from these calls. VerifyStack code does not check 
for such case.

Add missing check for reexecute flag to VerifyStack code.

Tested in JPRT with all test/compiler tests and VerifyStack flags 
switched on by default.

Thanks,
Vladimir