Auto merge of #794 - RalfJung:alignment-sanity, r=oli-obk
Auto merge of #794 - RalfJung:alignment-sanity, r=oli-obk

ptr-to-int alignment sanity check

rust-lang/miri,tsion/miri,rust-lang/miri,rust-lang/miri,rust-lang/miri