Adds some missing null checks to IBS AVL
Reverts some overwritten changes for lazy enumeration
Quick fix for stabbing queries in IBS AVL
Makes IBS Nodes comparable
Makes findSplitNode iterative instead of recursive.
Fixes the invariant for IBS as it didn't work properly. Is now both faster and more simple.
Fixes the method for stabbing queries. We still need to fix the rotations to avoid duplicates, from the invariant being broken.
Creates a GraphViz property for easier debugging of IBS.
Rewrites rotateLeft and rotateRight so they actually maintain the invariant. All tests pass now.
Fixes the FindOverlaps contracts, so they actually do as the comment says - it was simply a duplicate of another contract...