[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.