Improve CodexPro diagnostics and cards

Adds CodexPro self-test diagnostics, v9 compact cards for every tool, exact selected-only Pro context controls, docs updates, and preserves git diagnostics when include_diff=false.