is_sorted and is_sorted_until algorithms

Sure? Note that the return value is compared with `end` which will be "gone" if I move it into the into `is_sorted_until`.