Since lexical MIR borrow check is gone, and validation no longer uses these, they can be removed.
Fixes the hash test to recognize that MirValidated can change when changing around labels, and add a new test that makes sure we're lowering loop statements correctly.
