Merge pull request #666 from nicholasbishop/bishop-strict-prov

xtask: Enable strict provenance checks in Miri

Author: phip1611

xtask/src/cargo.rs

@@ -269,6 +269,7 @@ impl Cargo {
             CargoAction::Miri => {
                 action = "miri";
                 sub_action = Some("test");
+                cmd.env("MIRIFLAGS", "-Zmiri-strict-provenance");
             }
             CargoAction::Test => {
                 action = "test";