core: add a reverse method to Ordering.

This flips the comparison and is designed to be used when sorting etc.
The reversal iterator on iterators is called `rev` (as a data point). I don't think we have conventions around this or anything, however.