TransactionVerificationException(tx: TransactionForVerification, contract: Contract, cause: Throwable?)
Thrown if a verification fails due to a contract rejection.