Add LogUp module with lookup Uairs

[amit0365]

Part of #107 — Wiring lookups with the full protocol is needed to fully resolve.

Summary

LogUp lookup module (piop/src/lookup/):

• logup.rs: batched build_sumcheck_groups (L columns → 2 groups: degree-3 zerocheck for inverse correctness, degree-2 sumcheck for LogUp sum identity) and finalize_verifier with identity checks
• utils.rs: projected table generation (BitPoly/Word), two-phase Montgomery batch inverse (single field inversion across all parallel chunks), parallel multiplicity counting via local per-chunk counts - other primitives mostly copied from @albert-garreta agentic branch.
• cfg_chunk_size! macro in utils/src/parallel.rs for unified parallel/sequential chunk dispatch

Test UAIRs:

• SimpleLookupUair, MultiColLookupUair, MultiGroupLookupUair, BitPolyLookupUair in test-uair/src/lib.rs

Optimizations

• batching: L lookup columns sharing a table type collapse into 2 sumcheck groups (not 2·L), removing the L factor from proof size
• v not committed: table inverse v = 1/(β − T) is verifier-computable from the public table, saving one PCS column per lookup group
• Single-inversion batch inverse: hierarchical Montgomery trick across parallel chunks, reducing K inversions to 1 with O(K) extra sequential muls

Test plan

• 10 logup unit tests: 4 happy-path roundtrips, 1 invalid witness, 5 negative (tamper u/m/w eval, γ mismatch at L=2, single-column aux tamper at L=2)