Add a bunch of new rules to the simplifier that make it easier to prove things
Add a bunch of new rules to the simplifier that make it easier to prove things


Former-commit-id: 455092cf9dbeef087bfee45de3da2aaab10b37fe
darkbuck/Halide,Trass3r/Halide,darkbuck/Halide,Trass3r/Halide,Trass3r/Halide,Trass3r/Halide,Trass3r/Halide,Trass3r/Halide,darkbuck/Halide,darkbuck/Halide,darkbuck/Halide,darkbuck/Halide,darkbuck/Halide,Trass3r/Halide