Test some corner cases of loop analysis.

As of Mesa d7fa9eb, two of these tests are known to fail:

- vs-call-in-nested-loop.shader_test
- vs-inner-loop-modifies-outer-loop-var.shader_test