Refactor control stack to support complex control flow

[clearloop]

when we have return logic which is not at the end of function, it could be trigged incorrectly since the jump target for the end of the control frame is not correctly calculated, see the details at https://github.com/zink-lang/zink/blob/main/examples/br_balance.rs#L17

this could be the last fragment to ERC20

[malik672]

@clearloop assign me

[clearloop]

@clearloop assign me

this is actually a pretty hard debugging task, lines need to be changed may be minor but each lines we change could have lots of side effects, especially, you need to debug the output bytecode byte by byte and run tests locally to verify your implementations yourself but not like what we did in #292, leaves a broken CI then expect me to point out the problem ))

however this is also the kind of problem that AI helps a lot! anyway, will temporarily assign you, feel free to try it out! 🚀