Stateful testing: use state summaries

[0xkarmacoma]

We should be able to discard everything about how we got to a certain point and only consider the current state at this point, regardless of how we got there (to produce manageable queries)