Testing: bb.js output should be verifiable against solidity

[jonybur]

Description:
Utilize the verify() method of bb.js and integrate its results with the Solidity verifier to enable verification and ensure compatibility with Ethereum smart contracts.

Acceptance Criteria:

• The verify() method in bb.js should work as expected.
• Integration with Solidity verifier should be smooth and without inconsistencies.

[kevaundray]

Is this a Noir issue or something that can be placed into the barretenberg?

[Savio-Sou]

Works superseded by AztecProtocol/aztec-packages#1855.