core: add a reverse method to Ordering.

This flips the comparison and is designed to be used when sorting etc.
`invert` is another option (yay bikeshedding).