Merge pull request #1053 from SkySkimmer/stop-anomalies

Adapt to rocq-prover/rocq#21254 (stop catching async exns)

Author: ppedrot

coq/protect.ml

@@ -73,7 +73,7 @@ let eval_exn ~token ~f x =
     in
     let payload = Message.Payload.make ?range ?quickFix msg in
     Vernacstate.Interp.invalidate_cache ();
-    if CErrors.is_anomaly e then R.Completed (Error (Anomaly payload))
+    if CErrors.is_async e || CErrors.is_sync_anomaly e then R.Completed (Error (Anomaly payload))
     else R.Completed (Error (User payload))
 
 let _bind_exn ~f x =