add postcondition assertion
support range Insertion sort
fix postconditions
add merge sort reference implementation