[ReuseIR] loop invariant exclusivity hoisting

[SchrodingerZhu]

The check of exclusivity introduces a jump to possible allocation inside a modification loop, thus disabling SIMD and other optimizations. We should be able to hoist the loop invariant by pulling the first iteration out and eliminating remaining checks inside the body. Let’s see if we can achieve some fancy results!