Update to cardano-8.31.0.0

[newhoggy]

Changelog

- description: |
    Update to `cardano-8.31.0.0`
# uncomment types applicable to the change:
  type:
  # - feature        # introduces a new feature
  # - breaking       # the API has changed in a breaking way
  - compatible     # the API has changed but is non-breaking
  # - optimisation   # measurable performance improvements
  # - improvement    # QoL changes e.g. refactoring
  # - bugfix         # fixes a defect
  # - test           # fixes/modifies tests
  # - maintenance    # not directly related to the code
  # - release        # related to a new release preparation
  # - documentation  # change in code docs, haddocks...

Context

Fixes #388

How to trust this PR

Highlight important bits of the PR that will make the review faster. If there are commands the reviewer can run to observe the new behavior, describe them.

Checklist

• Commit sequence broadly makes sense and commits have useful messages
• New tests are added if needed and existing tests are updated. See Running tests for more details
• Self-reviewed the diff

[Jimbo4350]

Why can't we enable them now?

[newhoggy]

The tests fail like when Value is completely empty and the generators are now capable of generating completely empty values:

      ✗ Test.Cli.MultiAssetParsing.hprop_roundtrip_Value_parse_render failed at test/cardano-cli-test/Test/Cli/MultiAssetParsing.hs:23:5
        after 25 tests.
        shrink path: 25:
      
           ┏━━ test/cardano-cli-test/Test/Cli/MultiAssetParsing.hs ━━━
        18 ┃ hprop_roundtrip_Value_parse_render :: Property
        19 ┃ hprop_roundtrip_Value_parse_render =
        20 ┃   property $ do
        21 ┃     ledgerValue <- forAll $ genValueDefault MaryEraOnwardsConway
           ┃     │ MaryValue 0 (MultiAsset (fromList []))
        22 ┃     let value = fromLedgerValue ShelleyBasedEraConway ledgerValue
        23 ┃     tripping
           ┃     ^^^^^^^^
           ┃     │ ━━━ Original ━━━
           ┃     │ Right (valueFromList [])
           ┃     │ ━━━ Intermediate ━━━
           ┃     │ ""
           ┃     │ ━━━ Roundtrip ━━━
           ┃     │ Left (line 1, column 1):
           ┃     │ unexpected end of input
           ┃     │ expecting multi-asset value expression
        24 ┃       value
        25 ┃       renderValue
        26 ┃       (Parsec.parse parseValue "" . Text.unpack)
      
        This failure can be reproduced by running:
        > recheckAt (Seed 15168243033552485215 8658252526254707155) "25:" Test.Cli.MultiAssetParsing.hprop_roundtrip_Value_parse_render

[newhoggy]

I don't think we particularly care about empty Value, but for completeness, I think it good if the roundtrip worked for this edge case. This can be fixed in cardano-api.

But since we're going to delete Value anyway, it probably isn't worth the effort.

In fact, I will delete these tests because they don't belong here: They test nothing in cardano-cli. See the import list for verification.

These tests should instead be moved to cardano-api.