Failure trace minimization

[dgryski]

Upon encountering an assertion failure, we have a list of transitions that is potentially very long including lots of extra noise. An algorithm such as ddmin ( https://www.st.cs.uni-saarland.de/papers/tse2002/tse2002.pdf , my implementation https://github.com/dgryski/go-ddmin) can effectively minimize the trace.