fun verifyTransaction(tx: TransactionForVerification): Unit
Check that the difference between inputs and outputs is only the notary field, and that all required signing public keys are present.