Introduce backtrace for opcodes

[clearloop]

Describe the feature

This is required for generating the end for the function dispatcher

1. jump to call from selector
2. jump back to the end of the dispatch
3. end of program

for step 2., we need to record and verify the end of the dispatcher while generating the bytecode

blocks #153

---

\passing a pointer of backtrace to the whole system, introduce it in asm.rs

Solution

No response