Adds contracts to IBS and IIntervalCollection
Adds regions to IIntervalCollection to help enforce a more uniform ordering in implementations
Orders code for LCList while adding contracts and fixing an issue with interval of maximum overlap