Testing: proving with bb.js and noir

[jonybur]

Description:
Ensure that the provided ACIR and the solved witness are provable by bb.js. In the case of bb.js, this should be inclusive of both browser and node versions.

Acceptance Criteria:

• bb.js (browser & node) should correctly generate proof based on a provided ACIR and witness.
• a GitHub workflow should be added that verifies the output of both modules and checks that it matches.

[Savio-Sou]

bb.js (browser & node) and noir should both correctly generate proof...

What do you mean by noir should generate a proof?

[Savio-Sou]

Link to current Noir tests in the barretenberg repo in case if it's helpful: https://github.com/AztecProtocol/barretenberg/blob/master/acir_tests/run_acir_tests.sh

[Savio-Sou]

Works superseded by AztecProtocol/aztec-packages#1855.