Added a terminating version of merge sort.