fun verifyClauses(tx: TransactionForContract, clauses: List<SingleClause>, commands: Collection<AuthenticatedObject<CommandData>>): UnitVerify a transaction against the given list of clauses.
tx - transaction to be verified.clauses - the clauses to verify.commands - commands extracted from the transaction, which are relevant to the
clauses.