is_sorted and is_sorted_until algorithms

`range_algorithm` here.