Fixup rational tests (#4340)

* Size regression tests for Rational

* Start on laws tests

* Numerical hierarchy laws

* Property tests for Rational-specific behaviours

* Finish porting tests

* Documentation of test practices, updateMaterialized, coverage

* Refactor laws tests into larger suite

* updateMaterialized

* Remove dep

Co-authored-by: Koz Ross <koz.ross@retro-freedom.nz>

cabal.project

@@ -20,8 +20,9 @@ write-ghc-environment-files: never
 tests: true
 benchmarks: true
 
--- The only sensible test display option
-test-show-details: streaming
+-- The only sensible test display option, since it allows us to have colourized 
+-- 'tasty' output.
+test-show-details: direct
 
 allow-newer:
            -- Pins to an old version of Template Haskell, unclear if/when it will be updated

plutus-tx-plugin/plutus-tx-plugin.cabal

@@ -78,7 +78,6 @@ library
     else
         build-depends: ghc >=8.10 && <9
 
-
 test-suite plutus-tx-tests
     import: lang
     if flag(use-ghc-stub)
@@ -130,3 +129,17 @@ test-suite plutus-tx-tests
         containers -any
     -- NOTE: -g makes the plugin give better errors
     ghc-options: -g
+
+test-suite size
+    import: lang
+    -- needs plutus-tx-plugin but it looks unused
+    ghc-options: -Wno-unused-packages
+    type: exitcode-stdio-1.0
+    main-is: Main.hs
+    hs-source-dirs: test/size
+    build-depends:
+        base >= 4.9 && < 5.0,
+        plutus-tx -any,
+        plutus-tx-plugin,
+        tagged -any,
+        tasty -any