Avoid recreating same IR nodes in Bounds traversal
Interleaving store can now sniff through lets
Simplify tracks bounds for constant-sized loop vars, is more aggressive

For local laplacian, results in ~10% slower compilation and ~10% faster code