Throw an exception if the objectives aren't sorted

This is for the set of objectives in the partitionConstraints method,
since it requires the order to be deterministic. Sorting is a sufficient
(but not necessary) condition for this.