chore: crypto blackbox tests (#5614)

# Description

## Problem\*

Resolves #5427

## Summary\*

Unit test our blackbox crypto instructions.

Preferable to merge after:
- #5559
- #5484

(Because of overlapping helper functions)

## Additional Context

While most of our crypto function implementations are from external
crates, `poseidon2_permutation` is implemented internally. I'm using the
[`zkhash` crate](https://docs.rs/zkhash/0.2.0/zkhash/poseidon2/) to test
our implementation.

## Documentation\*

Check one:
- [x] No documentation needed.
- [ ] Documentation included in this PR.
- [ ] **[For Experimental Features]** Documentation to be submitted in a
separate PR.

# PR Checklist\*

- [x] I have tested the changes locally.
- [x] I have formatted the changes with [Prettier](https://prettier.io/)
and/or `cargo fmt` on default settings.

acvm-repo/acvm/Cargo.toml

@@ -39,4 +39,7 @@ bls12_381 = [
 
 [dev-dependencies]
 ark-bls12-381 = { version = "^0.4.0", default-features = false, features = ["curve"] }
+ark-bn254.workspace = true
+bn254_blackbox_solver.workspace = true
 proptest.workspace = true
+zkhash = { version = "^0.2.0", default-features = false }