[PASS] Adjust ModelSpec.txOutsOurs to account for script validation.

We fix the testing function `txOutsOurs` to create the correct set of
outputs, based on whether or not the transaction is marked as having
failed script validation.

This commit fixes `ModelSpec` tests that use the test blockchain.

lib/core/test/unit/Cardano/Wallet/Primitive/ModelSpec.hs

@@ -1011,8 +1011,8 @@ txOutsOurs
     -> s
     -> (Set (Tx, TxOut), s)
 txOutsOurs txs =
-    runState $ Set.fromList <$>
-        forMaybe (foldMap (\tx -> zip (repeat tx) (outputs tx)) txs) pick
+    runState $ Set.fromList <$> forMaybe
+        (foldMap (\tx -> zip (repeat tx) (outputsToCreate tx)) txs) pick
   where
     pick :: (Tx, TxOut) -> State s (Maybe (Tx, TxOut))
     pick (tx, out) = do
@@ -1023,6 +1023,13 @@ txOutsOurs txs =
     forMaybe :: Monad m => [a] -> (a -> m (Maybe b)) -> m [b]
     forMaybe xs = fmap catMaybes . for xs
 
+    outputsToCreate :: Tx -> [TxOut]
+    outputsToCreate tx
+        | txScriptInvalid tx =
+            F.toList (collateralOutput tx)
+        | otherwise =
+            outputs tx
+
 {-------------------------------------------------------------------------------
                                   Test Data