feat: Add field to `Transaction` to make verifications on the t8n result

[marioevz]

It would be valuable to allow testers to specify some verifications on the result that we get from t8n.

Example: https://github.com/ethereum/execution-spec-tests/pull/401#discussion_r1466632599_

In this case, verification would be that the transaction actually ran out of gas and it consumed all the gas that was specified in the gas_limit field.