Sorting by comparator works, fixed is_sorted, added contracts to merge_sorter sort method