Add rustc flag to disable mutable no-aliasing optimizations?

You may want to look at ?Uninit types [exist today]. Also let’s talk about DerefMove