Record push/pop operations and refactor proof query tracking#975

jcp19 wants to merge 3 commits into

benchmarks-scionviperproject/silicon:benchmarks-scionfrom

claude/record-solver-metadata-s7iC1viperproject/silicon:claude/record-solver-metadata-s7iC1Copy head branch name to clipboard