Miri now supports catching panics

Author: RalfJung

.gitignore

@@ -1,2 +1,2 @@
 target
-./Cargo.lock
+/Cargo.lock

scripts/run_miri.sh

@@ -16,6 +16,6 @@ rustup default "$MIRI_NIGHTLY"
 rustup component add miri
 cargo miri setup
 
-cargo miri test --verbose -- -- -Zunstable-options --exclude-should-panic
-cargo miri test --verbose --features union -- -- -Zunstable-options --exclude-should-panic
-cargo miri test --verbose --all-features -- -- -Zunstable-options --exclude-should-panic
+cargo miri test --verbose
+cargo miri test --verbose --features union
+cargo miri test --verbose --all-features