Add better support for `MaybeUninit`

We don't have any test coverage of [MaybeUninit<T>](https://doc.rust-lang.org/std/mem/union.MaybeUninit.html). We should add that once we add support for checking uninitialized memory.