From Intent to Proof: Dafny Verification for Web Apps