y: WIP snapshot: make state numbering stable
y: WIP snapshot: Add Options.Report
y: WIP snapshot: more benchmarks
y: WIP snapshot
y: WIP snapshot(ok, speedup)
y: WIP snapshot: cleanup
y: WIP snapshot
y: WIP snapshot
y: WIP snapshot