Auto merge of #145647 - RalfJung:miri, r=RalfJung

miri subtree update

Subtree update of `miri` to https://github.com/rust-lang/miri/commit/980da679e4da038a723c56b2af892ff7ea0209fc.

Created using https://github.com/rust-lang/josh-sync.

r? `@ghost`