It would be valuable to allow testers to specify some verifications on the result that we get from t8n.
Example: #401 (comment)_
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.