ConstraintAnalysis: Sort constraints internally (#8900)

Sorting them in each set of ANDed constraints is not only nice for
debugging but makes comparison simpler: they compare equal
regardless of order.

This adds some boilerplate `operator<` in necessary places.