Explore the possibility of using `quickcheck-dynamic`/ `quickcheck-lockstep` for state-machine testing

[quickcheck-dynamic](https://hackage.haskell.org/package/quickcheck-dynamic) is a recently published package that provides a framework for state-machine testing. As such, it is an alternative to [quickcheck-state-machine](https://hackage.haskell.org/package/quickcheck-state-machine). [quickcheck-lockstep](https://hackage.haskell.org/package/quickcheck-lockstep) builds on top of `quickcheck-dynamic` by providing the lockstep approach to state-machine testing that is also built into `quickcheck-state-machine`.

As we now have alternative packages for state-machine testing, we should explore whether we want to start using `quickcheck-dynamic`-based tests in consensus.