fun verify(tx: TransactionForVerification): Unit
verify() with some examples of what needs to be checked.