chore: add test case for brillig array equality assertion (#3936)

# Description

## Problem\*

Resolves AztecProtocol/aztec-packages#3752

## Summary\*

This PR adds a regression test for
AztecProtocol/aztec-packages#3752 which was
fixed in #3916.

## Additional Context

## Documentation\*

Check one:
- [x] No documentation needed.
- [ ] Documentation included in this PR.
- [ ] **[Exceptional Case]** 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.

test_programs/execution_success/brillig_array_eq/Nargo.toml

@@ -0,0 +1,6 @@
+[package]
+name = "brillig_array_eq"
+type = "bin"
+authors = [""]
+
+[dependencies]

test_programs/execution_success/brillig_array_eq/Prover.toml

@@ -0,0 +1,2 @@
+a = [77,75,108,209,54,16,50,202,155,210,174,185,217,0,170,77,69,217,234,216,10,201,66,51,116,196,81,167,37,77,7,102]
+b = [77,75,108,209,54,16,50,202,155,210,174,185,217,0,170,77,69,217,234,216,10,201,66,51,116,196,81,167,37,77,7,102]

test_programs/execution_success/brillig_array_eq/src/main.nr

@@ -0,0 +1,4 @@
+// Simple example of checking where two arrays are equal
+unconstrained fn main(a: [Field; 32], b: [Field; 32]) {
+    assert(a == b);
+}