Optimization: introduce an inner loop to handle passthroughs of control stack

[valeryz]

Currently, most of the time we push something to the control stack, then on the following iteration it is immediately popped. This involves a lot of copying and is unnecessary. Can be optimized with an inner loop that doesn't push anything, just updating the current values (on stack).