fix basicBlockContinuation after else

[Hecate2]

In the original codes, if I have a contract like this:

if True:
    A()
else:
    B()
C()

A() is covered, and then the address jumps to C(). When C() is covered and returned to the jump stack at the end of A(), we try to cover B(). B() ends at the beginning of C(), hitting the coverage cache at C() (because C() had been covered from A()), and forgets to register the basic block continuation from B() to C().

[Jim8y]

any way to test your change?

[Hecate2]

any way to test your change?

I can add some

[Hecate2]

Except Contract_Abort, there is no compiler test contract that runs a complete if-else. However Contract_Abort tests will conflict with #1185 . The instruction positions are changed without class contructors.