Question

Is there a way to ask Dafny to die on its first verification failure?

Answer

No. At least as of version 3.7.3.