tx-submission: re-enabled SharedTxState invariant

Author: coot

ouroboros-network/testlib/Test/Ouroboros/Network/TxSubmission/TxLogic.hs

@@ -138,10 +138,10 @@ sharedTxStateInvariant invariantStrength
                          timedTxs
                        } =
 
-    --      -- `inflightTxs` and `bufferedTxs` are disjoint
-    --      counterexample "inflightTxs not disjoint with bufferedTxs"
-    --      (null (Map.keysSet inflightTxs `Set.intersection` bufferedTxsSet))
-    -- .&&.
+         -- `inflightTxs` and `bufferedTxs` are disjoint
+         counterexample "inflightTxs not disjoint with bufferedTxs"
+         (null (Map.keysSet inflightTxs `Set.intersection` bufferedTxsSet))
+    .&&.
          counterexample "bufferedTxs txid not a subset of unacknowledged txids"
          let unacknowledgedSet =
                foldr (\PeerTxState { unacknowledgedTxIds } r ->