Upgrade next-hardhat with latest Noir packages + UltraPlonk bb.js

[Savio-Sou]

As a Noir developer, I would like to make use of next-starter as my starter boilerplate with the latest Noir packages + UltraPlonk-based bb.js, so I can build Noir dApps with the latest Noir & barretenberg features more easily.

This issue is completed once the E2E workflow below is achieved:

1. Compile main.nr into ACIR using nargo / noir_wasm
2. With custom user inputs, execute the ACIR and generate the corresponding witness using acvm_js
3. Generate a proof of the ACIR + witness pair using bb.js
4. Submit and verifies the proof on the pre-deployed Solidity verifier contract

where steps 2-4 happens within a web browser (in the Next.js env).