The ValidationTagMismatch failure is unexpected since the transactions
fails phase 1 validate (MalformedScriptWitnesses).

The test can be reproduced inside
cardano-ledger/libs/cardano-ledger-test with:

TASTY_PATTERN="malformed script witness" cabal test

…e failure.

In #2679 we got an implmentation of conditional execution. The intent
was to prevent running some expensive predicate checks whenever there is
already at least one existing predicate failure. That PR did not account
for the fact that rules are executed in a recursive function and the
state that carries information about predicate failures is not shared
between each invocation. In other words, whenever one STS rule called
another (eg. UTXOW calling UTXO), the invoked STS rules would be
oblivious to previous failures.

…back in Alonzo