Library for lockstep-style testing with 'quickcheck-dynamic'

Lockstep-style testing is a particular approach for blackbox testing of stateful APIs: we generate a random sequence of APIs calls, then execute them both against the system under test and against a model, and compare responses up to some notion of observability.

Library for lockstep-style testing with quickcheck-dynamic

See https://well-typed.com/blog/2022/09/lockstep-with-quickcheck-dynamic/ for a tutorial.