Improve reporting tool
Reduce timeout when in relaxed mode, reduces the amount of pages in which we give up even though we just want to explore something approximately
Refactor such that state snapshotting is much more flexible