Byron era property test failure on CI

[lehins]

This is a low priority task. Investigate a Byron era property test failure that recently occurred on CI.

  Test.Cardano.Chain.UTxO.ValidationMode
    ts_prop_updateUTxO_Valid:                       FAIL (22.10s)
        ✗ ts_prop_updateUTxO_Valid failed at test/Test/Cardano/Chain/UTxO/ValidationMode.hs:83:14
          after 98 tests and 123 shrinks.
          shrink path: 98:a8DjKj4Kj3Kj4Lk3LoHnHtOiHgHjIgHkH2tHg2HjLmKlKjBXbq64
        
             ┏━━ test/Test/Cardano/Chain/UTxO/ValidationMode.hs ━━━
          56 ┃ ts_prop_updateUTxO_Valid :: TSProperty
          57 ┃ ts_prop_updateUTxO_Valid =
          58 ┃   withTestsTS 300
...
        
          This failure can be reproduced by running:
          > recheckAt (Seed 3370806421579110813 3901176602263136051) "98:a8DjKj4Kj3Kj4Lk3LoHnHtOiHgHjIgHkH2tHg2HjLmKlKjBXbq64" ts_prop_updateUTxO_Valid
        
      Use '--pattern "$NF ~ /ts_prop_updateUTxO_Valid/" --hedgehog-replay "98:a8DjKj4Kj3Kj4Lk3LoHnHtOiHgHjIgHkH2tHg2HjLmKlKjBXbq64 Seed 3370806421579110813 3901176602263136051"' to reproduce from the command-line.

[lehins]

One more reproducer from: https://github.com/IntersectMBO/cardano-ledger/actions/runs/12551960858/job/34998743498?pr=4815

          This failure can be reproduced by running:
          > recheckAt (Seed 9535376334929010916 17341373825005128865) "84:a8NkJ5kJ5kLk3BAgT2jGbbHjKjGjGiGuGhG3hG4hLbnBH46" ts_prop_updateUTxO_Valid
        
      Use "--pattern '$NF ~ /ts_prop_updateUTxO_Valid/' --hedgehog-replay '84:a8NkJ5kJ5kLk3BAgT2jGbbHjKjGjGiGuGhG3hG4hLbnBH46 Seed 9535376334929010916 17341373825005128865'" to reproduce from the command-line.
      
      Use -p '/ts_prop_updateUTxO_Valid/' to rerun this test only.