Uses a binary search to find the layer to insert an interval instead of a linear search.
Adds some MAF parsing to UCSC
Adds some contracts to Layered Containment List while fixing its tests to match the change to property