Parallel sort contracts.
Added a definition for the default comparator, and clarified the non-modification assertion.
Merge pull request #1 from isupeene/contracts

Parallel sort contracts.