Fix "Gave up!" problem in property

- Simply removing `==>` seems to work fine, and make it more likely to
  pass.
- Remove `withMaxSuccess` because it seems to be doing nothing in
  conjunction with `checkCoverage`.

lib/shelley/test/unit/Cardano/Wallet/Shelley/TransactionSpec.hs

@@ -2351,22 +2351,24 @@ prop_balanceTransactionUnresolvedInputs
     -> ShowBuildable PartialTx
     -> StdGenSeed
     -> Property
-prop_balanceTransactionUnresolvedInputs wallet (ShowBuildable partialTx')
-    seed = checkCoverage $ withMaxSuccess 400 $
-        forAll (dropResolvedInputs partialTx') $ \(partialTx, dropped) -> do
-        not (null dropped) ==> do
+prop_balanceTransactionUnresolvedInputs wallet (ShowBuildable partialTx') seed =
+    checkCoverage
+        $ forAll (dropResolvedInputs partialTx') $ \(partialTx, dropped) -> do
             let res = balanceTransaction' wallet seed partialTx
             cover 1 (isUnresolvedTxInsErr res) "unknown txins" $
                 case res of
                     Right _
-                        -> label "success" $ property True
-                           -- Balancing can succeed if the dropped inputs happen
-                           -- to be apart of the wallet UTxO.
+                        | null dropped
+                            -> label "nothing dropped"
+                                $ property True
+                        | otherwise
+                            -> label "succeeded despite unresolved input"
+                                $ property True
                     Left (ErrBalanceTxAssignRedeemers
                         (ErrAssignRedeemersUnresolvedTxIns _))
                         -> property True
                     Left _
-                        -> property True
+                        -> label "other error" $ property True
   where
     isUnresolvedTxInsErr
         (Left (ErrBalanceTxAssignRedeemers