v0.9.2 — Prover soundness fixes

Replaces traced influence-graph elision with sound-by-construction slice analysis, fixing false Proven/Counterexample results in programs with self-resetting counters, pulse/reset patterns, and return_early(). Two new projection passes (functional-dependency and init-constant) recover some of that aggressiveness — PackML bench drops from 58 to 24 stateful dimensions (was 14 with trace).

Also: Python 3.11 support restored, indirect-ref copy domain inference, click codegen initial_value -> default value emission.