perf(idkg): [CON-1575] reduce the number of signature share validations (#9907)

This PR reduces the number of signature share validations from `N` to
`f+1`, which are enough to aggregate the full signature. The strategy is
very similar to the one done in #6526 to reduce the number of dealing
supports: we introduce an in-memory map that keeps track for each
`RequestId`, the set of share signers already validated. Once that set
reaches a cardinality of `f+1`, we stop validating more signature shares
for that `RequestId`. We follow the same approach as in #7069 to do all
that in parallel: check with shared access to the lock, then perform the
cryptographic validation and if valid, check again with exclusive access
to the lock.

---------

Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>

Author: pierugo-dfinity

rs/consensus/idkg/Cargo.toml

@@ -35,6 +35,7 @@ ic-consensus-mocks = { path = "../mocks" }
 ic-interfaces-mocks = { path = "../../interfaces/mocks" }
 ic-crypto-interfaces-sig-verification = { path = "../../crypto/interfaces/sig_verification" }
 ic-crypto-temp-crypto = { path = "../../crypto/temp_crypto" }
+ic-crypto-test-utils-canister-threshold-sigs = { path = "../../crypto/test_utils/canister_threshold_sigs" }
 ic-crypto-test-utils-crypto-returning-ok = { path = "../../crypto/test_utils/crypto_returning_ok" }
 ic-crypto-test-utils-reproducible-rng = { path = "../../crypto/test_utils/reproducible_rng" }
 ic-crypto-tree-hash = { path = "../../crypto/tree_hash" }