chore: test ACVM BigInt (#5559)

# Description

## Problem\*

Part of #5426

## Summary\*

Tests
- Conversion to/from LE arrays of bytes
- Add/Mul associative/commutative/identity
- Mul has L/R zero
- Distributive property
- Invertibility of Add/Mul
- Injectivity of Add

## Additional Context

Without updating `overflow-checks` defaults, the invalid-modulus only
panics locally while passing in CI.

It results in a 22% increase in user time and 27% increase in wall-clock
time running `cargo test` (in release mode):
- With overflow checks: `708.25s user 38.29s system 842% cpu 1:28.65
total`
- Without overflow checks: `577.09s user 32.65s system 875% cpu 1:09.68
total`

## 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.

Author: michaeljklein

Cargo.toml

@@ -166,6 +166,14 @@ rust-embed = "6.6.0"
 # See https://ritik-mishra.medium.com/resolving-the-wasm-pack-error-locals-exceed-maximum-ec3a9d96685b
 opt-level = 1
 
+# release mode with extra checks, e.g. overflow checks
+[profile.release-pedantic]
+inherits = "release"
+overflow-checks = true
+
+[profile.test]
+inherits = "dev"
+overflow-checks = true
 
 [profile.size]
 inherits = "release"

acvm-repo/acvm/Cargo.toml

@@ -13,8 +13,6 @@ repository.workspace = true
 [lints]
 workspace = true
 
-# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
-
 [dependencies]
 num-bigint.workspace = true
 thiserror.workspace = true