fun verifySigners(tx: LedgerTransaction): Set<CompositeKey>
Check that the list of signers includes all the necessary keys