Correct outermost loop semantics
Correct outermost loop semantics

The loop max was wrong, but the hacky code that eliminated the loops
over outermost didn't care. More correct now.

ronen/Halide,kgnk/Halide,psuriana/Halide,psuriana/Halide,tdenniston/Halide,psuriana/Halide,ronen/Halide,tdenniston/Halide,kgnk/Halide,psuriana/Halide,tdenniston/Halide,tdenniston/Halide,psuriana/Halide,kgnk/Halide,tdenniston/Halide,ronen/Halide,ronen/Halide,kgnk/Halide,kgnk/Halide,jiawen/Halide,ronen/Halide,ronen/Halide,kgnk/Halide,jiawen/Halide,kgnk/Halide,jiawen/Halide,kgnk/Halide,tdenniston/Halide,tdenniston/Halide,ronen/Halide,psuriana/Halide,jiawen/Halide,tdenniston/Halide,jiawen/Halide,ronen/Halide,jiawen/Halide,psuriana/Halide,jiawen/Halide