feat: WIP batch blobs and validate in rollup

[MirandaWood]

WIP

TODOs

• [ ] Compress BLS12 fq and fr values to fewer native fields to reduce number of public inputs (somewhat blocked by #13608 since that dictates how large bls12fr value gamma is)
• [ ] Delete old blob.nr files and remove pubs w/o batching (will do this later so it's easier to review)
• [x] Rework RootRollupPublicInputs so it doesn't contain unnecessary values not needed for L1 verification

---

PR Stack

• [ ] mw/blob-batching <- main feature
• [ ] ^ mw/blob-batching-bls-utils <- BLS12-381 bigcurve and bignum utils (noir) (#13583)
• [ ] ^ mw/blob-batching-bls-utils-ts <- BLS12-381 bigcurve and bignum utils (ts) (#13606)
• [x] ^ mw/blob-batching-integration <- Integrate batching into noir protocol circuits (#13817)
• [ ] ^ mw/blob-batching-integration-ts-sol <- Integrate batching into ts and solidity (#14329)

[TomAFrench]

I've updated this PR to pull a version of noir which includes a fix for the circuit simulator.