Test Genesis State Machine with quickcheck-dynamic (QD)

- add tests based on quickcheck-dynamic
- group definition used in both QSM and QD tests
- in QD-based tests, use reflection to pass static model parameters
- Test.QuickCheck.Extras -> Test.Ouroboros.Consensus.QuickCheck.Extras
- Remove old test based on quickcheck-state-machine

Author: geo2a

ouroboros-consensus-diffusion/ouroboros-consensus-diffusion.cabal

@@ -232,8 +232,8 @@ test-suite consensus-test
   main-is: Main.hs
   other-modules:
     Test.Consensus.BlockTree
-    Test.Consensus.GSM
-    Test.Consensus.GSM.Model
+    Test.Consensus.GSM.Common
+    Test.Consensus.GSM.QD
     Test.Consensus.Genesis.Setup
     Test.Consensus.Genesis.Setup.Classifiers
     Test.Consensus.Genesis.Setup.GenChains
@@ -247,7 +247,6 @@ test-suite consensus-test
     Test.Consensus.HardFork.Combinator
     Test.Consensus.HardFork.Combinator.A
     Test.Consensus.HardFork.Combinator.B
-    Test.Consensus.IOSimQSM.Test.StateMachine.Sequential
     Test.Consensus.Network.AnchoredFragment.Extras
     Test.Consensus.Node
     Test.Consensus.PeerSimulator.BlockFetch
@@ -305,10 +304,11 @@ test-suite consensus-test
     ouroboros-network-framework,
     ouroboros-network-mock,
     ouroboros-network-protocols,
-    pretty-show,
-    quickcheck-state-machine:no-vendored-treediff,
+    pretty,
+    quickcheck-dynamic ^>=4.0.0,
     quiet,
     random,
+    reflection,
     resource-registry,
     serialise,
     si-timers,

ouroboros-consensus-diffusion/test/consensus-test/Main.hs

@@ -1,7 +1,7 @@
 module Main (main) where
 
 import qualified Test.Consensus.Genesis.Tests (tests)
-import qualified Test.Consensus.GSM (tests)
+import qualified Test.Consensus.GSM.QD (tests)
 import qualified Test.Consensus.HardFork.Combinator (tests)
 import qualified Test.Consensus.Node (tests)
 import qualified Test.Consensus.PeerSimulator.Tests (tests)
@@ -24,7 +24,8 @@ tests =
           ]
       ]
   , Test.Consensus.Genesis.Tests.tests
-  , testGroup "GSM" Test.Consensus.GSM.tests
+  , testGroup "GSM" [ testGroup "QD" Test.Consensus.GSM.QD.tests
+                    ]
   , Test.Consensus.PeerSimulator.Tests.tests
   , Test.Consensus.PointSchedule.Shrinking.Tests.tests
   , Test.Consensus.PointSchedule.Tests.tests