[Recently](https://github.com/rust-lang/rust/pull/130628#issuecomment-2402761599) we ratified the `Option` null-pointer guarantee to also apply to `Option`-like types. Miri should be adjusted to match that.
