Make Conway CERTS test era-generic

[neilmayhew]

Description

The Conway CERTS test produces additional predicate failures in Dijkstra, so previously it was necessary to duplicate the code in a separate test for Dijkstra. By introducing a new test helper, submitFailingTxSubset, it's possible for the Conway test to check that the given predicate failures are a subset of those actually produced, ie that all of the given failures are present. This enables the test to run in all post-Conway eras.

Checklist

• Commits in meaningful sequence and with useful messages.
• Tests added or updated when needed.
• CHANGELOG.md files updated for packages with externally visible changes.
  NOTE: New section is never added with the code changes. (See RELEASING.md).
• Versions updated in .cabal and CHANGELOG.md files when necessary, according to the
  versioning process.
• Version bounds in .cabal files updated when necessary.
  NOTE: If bounds change in a cabal file, that package itself must have a version increase. (See RELEASING.md).
• Code formatted (use scripts/fourmolize.sh).
• Cabal files formatted (use scripts/cabal-format.sh).
• CDDL files are up to date (use scripts/gen-cddl.sh)
• hie.yaml updated (use scripts/gen-hie.sh).
• Self-reviewed the diff.

[neilmayhew]

The Dijkstra CERTS test still needs to be removed, or at least cut down

[neilmayhew]

Changelog and version updates are still needed

[neilmayhew]

This is the simplest solution I could come up with. Hashing is mentioned in the custom type error message, but this goes via rawSerialiseVerKeyDSIGN anyway.

[lehins]

I would like to ask you to add submitFailingTxSubset in a separate PR from Ord additions, if you could please.
I know this is a draft PR and you might have already planned on this, but I just wanted to make sure.

Also just a thought: maybe we should name it submitFailingSubsetTx instead? This way the "Subset" would be more relevant to "Failing" instead of "Tx`, which is what the intention of this function is.

[neilmayhew]

I would like to ask you to add submitFailingTxSubset in a separate PR from Ord additions, if you could please.

Done, as #5850, although still a draft as it requires a new release of cardano-base. (See IntersectMBO/cardano-base#658.)

[lehins]

although still a draft as it requires a new release of cardano-base

Yep, new release is coming soon. Probably tomorrow, since there are a few other things we want to release from there