contracts / CommercialPaper / verify

# verify

`fun verify(tx: TransactionForVerification): Unit`
Overrides Contract.verify

Takes an object that represents a state transition, and ensures the inputs/outputs/commands make sense. Must throw an exception if theres a problem that should prevent state transition. Takes a single object rather than an argument so that additional data can be added without breaking binary compatibility with existing contract code.