Reduce duplication in Conway UTXOW rule

[lehins]

Description

Fixes #3916

The only difference between Conway's and Babbage's UTXOW rule implementation is that latter has MIR certificate witness validation.

This PR extract MIR validation into a separate action and uses it only in Babbage, while the rest of the logic is reused in Conway.

This PR also fixes a small issue in Alonzo spec, where costmdls was applied to tx instead of pp, which was noted in the rule.

Checklist

• Commit sequence broadly makes sense and commits have useful messages
• New tests are added if needed and existing tests are updated
• When applicable, versions are updated in .cabal and CHANGELOG.md files according to the
  versioning process.
• The version bounds in .cabal files for all affected packages are updated. If you change the bounds in a cabal file, that package itself must have a version increase. (See RELEASING.md)
• All visible changes are prepended to the latest section of a CHANGELOG.md for the affected packages. New section is never added with the code changes. (See RELEASING.md)
• Code is formatted with fourmolu (use scripts/fourmolize.sh)
• Cabal files are formatted (use scripts/cabal-format.sh)
• hie.yaml has been updated (use scripts/gen-hie.sh)
• Self-reviewed the diff

[TimSheard]

Looks good, but it breaks from a pattern that we have used before. of defining a function like

validateXXX::
EraTx era =>
Tx era -> .. -> Test (SomePredFailure era)

and then calling

runTest $ validateXXX

Is there a reason we did not do this here?

[lehins]

Is there a reason we did not do this here?

Yes, because this approach is not going to work in this scenario. We need to abstract a collection of rules and reuse them as a whole.

In other words, the approach of using validations (i.e. the runTest) is using them like building blocks, where we can use a whole bunch of similar blocks to construct different walls.

In this case however we want to reuse the whole wall, without one block. Which means we need to split up a rule into a slightly smaller rule, that we can later reuse verbatim in the next era.