PLT-4168 Increased coverage of merkleization in validator tests.

This addresses the following audit finding:

> File Spec/Marlowe/Semantics/Functions.hs, Missing
> merkleization tests The properties in this module
> do not seem to be tested with merkleized contracts
> or inputs except for checkGetContinuation, and
> they probably should.

marlowe-test/src/Spec/Marlowe/Plutus/Specification.hs

@@ -134,8 +134,8 @@ tests referencePaths =
         [
           testGroup "Valid transaction succeeds"
             [
-              testProperty "Noiseless" $ checkSemanticsTransaction referencePaths noModify noModify noVeto True False
-            , testProperty "Noisy"     $ checkSemanticsTransaction referencePaths noModify noModify noVeto True True
+              testProperty "Noiseless" $ checkSemanticsTransaction referencePaths noModify noModify noVeto True False True
+            , testProperty "Noisy"     $ checkSemanticsTransaction referencePaths noModify noModify noVeto True True  True
             ]
         , testGroup "Constraint 1. Typed validation"
             [