Miri now supports catching panics

RalfJung · RalfJung · commit 7ae9e2cd1f1f · 2019-12-06T09:43:14.000+01:00
diff --git a/ci/miri.sh b/ci/miri.sh
@@ -12,4 +12,4 @@ rustup default "$MIRI_NIGHTLY"
 rustup component add miri
 cargo miri setup
 
-cargo miri test -- -- -Zunstable-options --exclude-should-panic
+cargo miri test
