Restore "CIP-40 Collateral Output" localnet tests

Author: errfrom

examples/Lose7Ada.purs

@@ -130,7 +130,7 @@ spendFromAlwaysFails vhash validator txId = do
     { balancerConstraints: mempty
     , extraUtxos: toUtxoMap [ utxo ]
     }
-  signedTx <- signTransaction (spendTx # _isValid .~ true)
+  signedTx <- signTransaction spendTx
   spendTxId <- submit signedTx
   logInfo' $ "Tx ID: " <> show spendTxId
   awaitTxConfirmed spendTxId
@@ -149,8 +149,8 @@ alwaysFails :: String
 alwaysFails =
   """
 {
-    "type": "PlutusScriptV1",
-    "description": "",
-    "cborHex": "581e581c01000033223232222350040071235002353003001498498480048005"
+    "type": "PlutusScriptV2",
+    "description": "AlwaysFails validator",
+    "cborHex": "4746010000222601"
 }
 """

test/Testnet/Contract.purs

@@ -1533,8 +1533,7 @@ suite = do
           AlwaysSucceeds.spendFromAlwaysSucceeds vhash validator txId
 
     group "CIP-40 Collateral Output" do
-      skip $ test
-        "Always failing script triggers Collateral Return (ADA-only) UNSKIP AFTER CONWAY"
+      test "Always failing script triggers Collateral Return (ADA-only)"
         do
           let
             distribution :: InitialUTxOs /\ InitialUTxOs
@@ -1565,8 +1564,7 @@ suite = do
                     collateralLoss
                 )
 
-      skip $ test
-        "AlwaysFails script triggers Native Asset Collateral Return (tokens) UNSKIP AFTER CONWAY"
+      test "AlwaysFails script triggers Native Asset Collateral Return (tokens)"
         do
           let
             distribution :: InitialUTxOs /\ InitialUTxOs