Benchmark challenges

Governed benchmark tasks with attestations and anti-cheat screening, distinct from the automatically-derived leaderboards.