ABI checks do not accept Option-"like" types

[RalfJung]

Recently we ratified the Option null-pointer guarantee to also apply to Option-like types. Miri should be adjusted to match that.

[RalfJung]

Fixed by rust-lang/rust#132057