Merge v1.0.1 updates and switch Codex to streaming app-server

[jjoshua2]

This PR brings this branch up to upstream v1.0.1 and preserves the local OpenProver changes that were still relevant after the upstream merge.

Highlights:

• merge upstream master through v1.0.1
• keep clean quota/rate-limit pause handling
• keep separate verifier client wiring and default verifier effort behavior
• keep provider/model split and reasoning-effort defaults
• replace the old Codex exec --json path with a streaming codex app-server client
• update Codex docs/tests to match the streaming backend

Validation:

• PYTHONPATH=. pytest -q tests/test_claude_client.py tests/test_cli_models.py tests/test_codex_client.py tests/test_quota_pause.py tests/test_interrupt_race.py tests/test_resize.py
• result: 32 passed

Note:

• full pytest -q still includes tests/test_tui_keys.py, which expects an interactive TTY and is not reliable in non-TTY CI/sandbox runs.

[jjoshua2]

I integrated all the other PRs I've been using except #5 and merged into 1.0.1

[jjoshua2]

@idrassi I pushed my runs folder and reverify folder and all steps up into this branch for you to look at when you have a chance. I used this code to reverify with opus 4.6 max.