MergerSort verified