chore: run all test programs in brillig as well as ACIR (#5128)

# Description

## Problem\*

Resolves <!-- Link to GitHub Issue -->

## Summary\*

This PR helps ensure consistency between ACIR and brillig by checking
that every `execution_success` test case were compiled and run in
brillig then it would succeed.

This has thrown up a couple of test case failures which I've added to a
list to be ignored for now. We can address these in follow-up PRs

## Additional Context



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

test_programs/execution_success/brillig_to_bits/Nargo.toml → test_programs/execution_success/empty/Nargo.toml

@@ -1,5 +1,5 @@
 [package]
-name = "brillig_to_bits"
+name = "empty"
 type = "bin"
 authors = [""]
 [dependencies]

test_programs/execution_success/empty/src/main.nr

@@ -0,0 +1 @@
+fn main() {}

test_programs/execution_success/brillig_schnorr/Nargo.toml → test_programs/execution_success/signed_cmp/Nargo.toml

@@ -1,5 +1,5 @@
 [package]
-name = "brillig_schnorr"
+name = "signed_cmp"
 type = "bin"
 authors = [""]
 

test_programs/execution_success/brillig_signed_cmp/src/main.nr → test_programs/execution_success/signed_cmp/src/main.nr

@@ -1,4 +1,4 @@
-unconstrained fn main(minus_one: i8) {
+fn main(minus_one: i8) {
     assert(minus_one < 0);
     assert(0 < minus_one as u8);
     assert(0 > minus_one);

test_programs/execution_success/brillig_array_eq/Nargo.toml → test_programs/execution_success/signed_div/Nargo.toml

@@ -1,5 +1,5 @@
 [package]
-name = "brillig_array_eq"
+name = "signed_div"
 type = "bin"
 authors = [""]
 

test_programs/execution_success/brillig_wrapping/Nargo.toml → test_programs/execution_success/to_bits/Nargo.toml

@@ -1,6 +1,5 @@
 [package]
-name = "brillig_wrapping"
+name = "to_bits"
 type = "bin"
 authors = [""]
-
 [dependencies]

test_programs/execution_success/brillig_to_bits/src/main.nr → test_programs/execution_success/to_bits/src/main.nr

@@ -1,6 +1,6 @@
 use dep::std;
 
-unconstrained fn main() {
+fn main() {
     let field = 1000;
     let be_bits = field.to_be_bits(16);
     let le_bits = field.to_le_bits(16);

test_programs/execution_success/brillig_signed_div/Nargo.toml → test_programs/execution_success/wrapping_operations/Nargo.toml

@@ -1,5 +1,5 @@
 [package]
-name = "brillig_signed_div"
+name = "wrapping_operations"
 type = "bin"
 authors = [""]
 

test_programs/execution_success/brillig_wrapping/src/main.nr → test_programs/execution_success/wrapping_operations/src/main.nr

@@ -1,6 +1,6 @@
 use dep::std;
 
-unconstrained fn main(x: u8, y: u8) {
+fn main(x: u8, y: u8) {
     assert(std::wrapping_sub(x, 1) == y);
     assert(std::wrapping_add(y, 1) == x);
     assert(std::wrapping_mul(y, y) == 1);