Why "Fiat-Shamir for Proofs" Lacks a Proof