Leaning Into the Coding Interview: Lean 4 vs Dafny cage-match