verify

Check that the transaction is internally consistent, and then check that it is contract-valid by running verify() for each input and output state contract. If any contract fails to verify, the whole transaction is considered to be invalid.

Note: Reference states are not verified.