Switched to stack-based approach for labels-executing

Instead of storing in the tracer-context only the label of the current trace that is being executed, a stack is stored of all labels being executed,
since the execution of a trace could be inlined in the execution of another trace