Parse transaction hash in output of "transaction submit", then check …

…it is a live utxo

cardano-testnet/test/cardano-testnet-test/Cardano/Testnet/Test/Cli/Transaction.hs

@@ -108,11 +108,17 @@ hprop_transaction = integrationRetryWorkspace 2 "simple transaction build" $ \te
     , "--out-file", txbodySignedFp
     ]
 
-  void $ execCli' execConfig
+  stdout <- execCli' execConfig
     [ anyEraToString cEra, "transaction", "submit"
     , "--tx-file", txbodySignedFp
     ]
 
+  txId <- if null stdout
+          then do
+            H.note_ "Expected output of \"transaction submit\" not to be empty"
+            H.failure
+          else pure $ last $ lines stdout
+
   H.noteShowM_ $ waitForBlocks epochStateView 1
 
   H.byDurationM 1 15 "Expected UTxO found" $ do
@@ -121,6 +127,12 @@ hprop_transaction = integrationRetryWorkspace 2 "simple transaction build" $ \te
     H.assertWith txouts2 $ \txouts2' ->
       [transferAmount, initialAmount - transferAmount - txFee] == txouts2'
 
+    -- Check that the transaction output exists, when querying by id:
+    void $ execCli' execConfig
+      [ anyEraToString cEra, "query", "utxo"
+      , "--tx-in", txId <> "#0"
+      ]
+
 txOutValue :: TxOut ctx era -> TxOutValue era
 txOutValue (TxOut _ v _ _) = v