DO NOT MERGE: Feat/test benchmark suite crypto primitives

[SupremoUGH]

DO NOT MERGE: Move to OpenZL.

New:

Testing for cryptographic abstractions in manta-crypto:

• duplex.rs: Added correctness test for duplex sponge encryption.
• encryption: Added ciphertext validity test for encryption.
• algebra.rs: Added several algebraic tests.
• accumulator.rs: Added proof removal tests for OptimizedAccumulator.
• hash.rs: Added preimage and collision resistance tests for HashFunction.
• signature: Added preimage resistance test for HashFunction.
• constraint.rs: Added correctness test for ProofSystem.

Testing for concrete implementations in manta_pay:

• encryption: Added invalid key and invalid ciphertext tests for symmetric encryption.
• poseidon::hash: Added naive collision resistance tests for Poseidon with arities 2 and 4.

---

Goals:
Cryptographic abstractions:

• Correctness test.
• Native performance benchmark.
• Circuit constraint measurement.

Concrete implementations:

• Randomized testing suite.
• Benchmarks.
• Constraint measurement.

---

Closes #112

Before we can merge this PR, please make sure that all the following items have been checked off:

• Linked to an issue with discussion and accepted design OR have an explanation in the PR that describes this work.
• Added one line describing your change in CHANGELOG.md and added the appropriate changelog label to the PR.
• Re-reviewed Files changed in the GitHub PR explorer.
• Checked that changes and commits conform to the standards outlined in CONTRIBUTING.md.