fun verify(tx: TransactionForVerification): Unit
verify() with a few examples of what needs to be checked. TODO: Lots more to add.