Add a test.

* abort snapshot restoration faster

* flag-checking tests

[ci:skip]

previously it kept all seen code in memory, leading to
high memory usage by the end of state restoration