Repack precompiles-prover lookup columns after #3412

PR #3293 currently treats the first auxiliary trace column specially because its LogUp running-sum constraint has an additional degree cost.

PR #3412 removes that extra cost by using a normalized cyclic recurrence. As a result, the first auxiliary column can use the same degree capacity as the other lookup columns.

Update all lookup layouts in `miden-precompiles-prover` to use this additional capacity. Repack compatible lookup fractions into the first column and reduce auxiliary trace width where possible, without increasing the quotient degree.

### Acceptance criteria

- Audit and repack all precompiles-prover lookup layouts.
- Update column counts, shapes, offsets, comments, and tests.
- Keep existing lookup semantics and quotient degrees unchanged.
- Document any reductions in auxiliary trace width.

Depends on #3412 and applies to the prover introduced in #3293.