Testing MIR optimizations

Yes. Please don't use non-rust tools unless there's no other way.