[LV] Add test showing miscompile with store reductions and RT checks.

Add anew test showing how a loop gets vectorized incorrectly with a
invariant store reduction where the same location is also read, when
vectorizing with runtime checks.