Bounds inference more aggressive
Bounds inference more aggressive

Previously it was giving up on const expressions, instead of
just returning them


Former-commit-id: cdea97a54267f6d5396b8ba99d9b09d8f556b18a
darkbuck/Halide,Trass3r/Halide,darkbuck/Halide,Trass3r/Halide,Trass3r/Halide,Trass3r/Halide,darkbuck/Halide,darkbuck/Halide,Trass3r/Halide,Trass3r/Halide,darkbuck/Halide,Trass3r/Halide,darkbuck/Halide,darkbuck/Halide