docs: refresh validated Android and crash benchmarks

[janicduplessis]

Description

Refresh the Android benchmark results after the compiler-cache fixes and add the completed Sol iOS launch-crash attempt. Nine of 16 Android attempts passed publication review; seven were excluded for setup, incomplete execution, or coordinator-path isolation violations. Crash control timed out, so there is no paired crash speedup claim.

Solution

Publish only validated runs, with sanitized command timelines, token/cost estimates, Settings screenshots, and recordings. Replace the previous Android data and remove obsolete proof assets. Keep missing cells disabled and explain cache preparation, fixed validation thresholds, and the excluded coverage in the methodology. Existing iOS readiness results are unchanged.

Crash data includes #462's audit correction; excluded attempts were retained locally without retries.

Test plan

• Rechecked source evidence, screenshot/video integrity, device isolation, and native Stim cache hits before export; no machine-specific paths in the exported data.
• Verified the production site in Safari: updated Android graph, missing cells, crash diagnosis 2m42s and repaired Settings 4m37s; inspect the linked run timelines and proof media.
• Website typecheck and production build pass.

Fixes #450