Makes sure that refinement always yields a reverse sorted list

The point here is to make sure that any list of versions we consider in our search is always
reverse sorted.