'--to-state' option to allow generation of tests that have a well specified end state

[mkorpela]

At least 2 interleaving DFS searches from start and end state will work for this.

Have to think how to do the random algo.