Reimplement DSE as a forward all-paths walker with context.

TODO: fix the kill-all-stores, kill-all-mtis etc routines.