move to gradio 5.9.1 (fix jinja2 cache bug in 4.44.1)

pin python 3.12 (gradio/pydub pyaudioop removed in 3.13)

AetherArena v0 — benchmark-first leaderboard + witness chain (ADR-149)

initial commit