without aux builds, we don't need to set always-encode-mir any more
without aux builds, we don't need to set always-encode-mir any more

tsion/miri,rust-lang/miri,rust-lang/miri,rust-lang/miri,rust-lang/miri