SimEngineVEX: fix the bug caused by truncating IRSBs.
SimEngineVEX: fix the bug caused by truncating IRSBs.

Due to cross-instruction optimizations in VEX IRSBs, not all effects are
loyally reflected in VEX statements. Therefore truncating an optimized
IRSB will lead to losing effects. This commit fixes this issue by
re-lifting the block with a new `size` parameter when stop points are
found.

schieb/angr,chubbymaggie/angr,angr/simuvex,tyb0807/angr,f-prettyland/angr,f-prettyland/angr,axt/angr,iamahuman/angr,schieb/angr,chubbymaggie/angr,tyb0807/angr,f-prettyland/angr,tyb0807/angr,axt/angr,axt/angr,angr/angr,schieb/angr,iamahuman/angr,iamahuman/angr,chubbymaggie/angr,angr/angr,angr/angr