feat: add wrapper verifier

[markosg04]

Part of the draft Jolt prover stack.

Base: prover-stack/07-dory-assist-verifier
Head: prover-stack/08-wrapper-verifier

Adds the wrapper verifier crate, wrapper claim formulas, and wrapper protocol specs.

Validation before submission:

• cargo fmt -q -- --check
• cargo metadata --no-deps --format-version 1
• local gh stack push simulation against a temporary bare remote
• forbidden-path scan for handoffs/, old STACK.md, stack/, and old stack workflow

[0xAndoroid]

Stack maintenance — Pika is rebasing this PR onto #1602 (prover-stack/07-dory-assist-verifier) and fixing CI as part of the prover stack (#1596–#1606). Rebase + CI summary to follow.

[0xAndoroid]

Stack maintenance — rebased onto #1602 and retargeted this PR's base to prover-stack/07-dory-assist-verifier; CI green.

📚 Stack A: #1596 → #1597 → #1598 → #1599 → #1600 → #1601 → #1602 → #1603 (this PR)
📚 Stack B: #1596 → #1597 → #1604 → #1605 → #1606

#1596 and #1597 are shared by both stacks; each PR targets the one before it.

Conflict resolution

• No conflicts — the wrapper-verifier commit replayed cleanly on top of feat: add Dory assist verifier #1602.

[github-actions]

Claude code review session started: https://claude.ai/code/session_01L5gzRwTrzHPFweu9mmSANF