Improvements to the loop ordering heuristic

[willow-ahrens]

• [ ] Intersection loops above non-intersection loops in nests that exceed input depth
• [ ] Beyond that, Sparse loops above dense loops in nests that exceed input depth
• [ ] Beyond that, concordant traversal

[willow-ahrens]

This is too complicated for right now