Fix infinite recursion in certain simplifications

Simplifying EQ uses bounds inference to disprove equality, but bounds
inference sometimes uses simplify EQ to prove absence of overflow.
Merge branch 'master' of github.com:halide/Halide