add state subsumption checking

An execution is cut if the states reachable on the current path are
a subset of the states reachable by a previously explored path.
add a test in which paths can be cut
Merge branch 'subsumption'
add command line option for path cutting

Path cutting is off by default