Better aliasing info

Andrew and I worked on adding better TBAA for constant index loads/stores. This new TBAA gives a huge boost to LLVM for certain types of Halide programs. 

In particular, this had a dramatic effect on the FFT, which is roughly 2x faster with this change.