Removes missing file from Pex project
Updates old benchmarks to fit new test purposes
Adds a comment containing a possible code contract
Removes code contracts from Release build
Adds null checks to IBS's interval sets to avoid making empty set. Makes it more than twice as fast.