ADD: Session state diagnostics

ADD: Debug logging to progression logic

CRITICAL RUNTIME FIX: Remove tuple unpacking from environment handlers - graders now return FLOAT only, not tuples

Phase 2: Benchmark Quality Upgrades - Progressive graders, realistic multi-bug tasks, ground_truth exposure