Fixup: ws_array_is_sorted() removed