fun verifyTransaction(tx: TransactionForVerification): Unit
Check the transaction is contract-valid by running the verify() for each input and output state contract. If any contract fails to verify, the whole transaction is considered to be invalid.