Improved flip query runtime from 3.5 to 3.1 seconds by fetching stack frames one by one, as needed.
Implemented alternative approach to variable naming that maintains its own stack of naming data. This does not (yet) seem to be any faster, though I suspect that recursive programs with high branching factor would benefit.