Generate production verifiers after trusted setup is done

[dcbuild3r]

Current Status:

Tests use only the correct verifier for batch Semaphore tree insertion/deletion proofs InsertionTreeVerifier16.sol / DeletionTreeVerifier16.sol (tree depth 16). There is also a test SemaphoreVerifier16.sol that verifies Semaphore tree inclusion proofs using PSE's Semaphore trusted setup files (depth 16). The insertion and deletion provers albeit real, are generated using a mock proving system file (no trusted setup performed for the creation of vk and pk).

Missing items

• Perform trusted setup for insertion and deletion circuits of tree depth 30 and specified batch sizes
• export the verification key from the resulting proving system files using gnark-contract-extractor and generate the corresponding verifiers to be inserted into their respective verifier lookup tables on deployment
• Test correct working of said verifiers on staging (Goerli deployment)