Add `#pushState` and `#popState` for recording the current state (and restoring it) so that writing proofs is easier.

[sskeirik]

So, as it turns out, this isn't needed, because: as instructions execute, the configuration is static in all cells except for:

• the k cell
• the stack cell

But these two cells need to be explicitly mentioned in our proof claims anyway.