Increase `prop_balanceTxValid` coverage of success from 3% to 11%

[Anviking]

• [x] Increase prop_balanceTxValid coverage of sucess from 3% to 11%
  • Generate fewer total- and return-collateral values (using maxDiscardRatio workaround 🎉 )
  • Generate fewer outputs with ada values below the minAda requirement
• [x] Add success coverage check along with checkCoverage

Comments

Previously

          51.1% existing collateral return outputs
          24.1% existing total collateral
          11.7% output below minCoinValue
           5.2% shortfall of non-ada assets
           3.2% success
           1.9% input resolution conflicts
           1.0% shortfall of ada
           0.6% existing collateral
           0.6% maxTxSize limit exceeded
           0.5% shortfall of both ada and non-ada assets
           0.1% failed with ByronTxOutInContext

Now:

          43.2% shortfall of non-ada assets
          14.3% output below minCoinValue
          11.6% success
           7.3% maxTxSize limit exceeded
           5.3% input resolution conflicts
           5.2% shortfall of both ada and non-ada assets
           4.5% existing total collateral
           4.3% existing collateral return outputs
           2.5% shortfall of ada
           1.0% failed with ByronTxOutInContext
           0.4% ReferenceScriptsNotSupported
           0.4% existing collateral

Issue Number

None. General maintenance.