Replace PPViewHashesDontMatch with ScriptIntegrityHashMismatch starting from PV 11

[Soupstraw]

Description

This PR adds a new ScriptIntegrityHashMismatch predicate failure to Conway's UTXOW rule. The new predicate failure is similar to the old PPViewHashesDontMatch failure, but it also contains the bytestring that was hashed by the node in order to compute the script integrity hash. This new predicate failure will be thrown instead of the old one starting from protocol version 11.

close #4517

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.

[lehins]

Overall the idea is the right one, but there is a problem with reporting the bytes, since they can be SNothing.

Also by doing this implementation in Alonzo era, we'll be able to simplify it after the hard fork and just pretend like it was always done this way.

[lehins]

Looks great. Except there is a slight performance regression which needs a fix.

[lehins]

Very nice improvement! Thank you!
Only some minor suggestions about naming, changelogs and such