Support for lockstep-style testing using quickcheck-dynamic - View it on GitHub