Execution inputs computed before running a transaction: whether to fail it early (and with
which errors), plus context for gas charging. An execution input only - never serialized into
TransactionEffects, so adding fields here does not change effects or their digests.
Determine if a transaction is predetermined to fail execution.
Returns all matching error kinds, or None if there is no early failure.
When we pass this to the execution engine, we will not execute the transaction
if it is predetermined to fail execution.