@Target(value=METHOD)
public @interface OnVerification
verify in the contract's manifest - can take any number and type of
arguments and must return a boolean.
The verify method is called, e.g., when the contract's address is included as a signer in
a transaction
This annotation can only be used on a public static method of a smart contract class,
and not on other classes that provide functionality for the contract.