Fixed bugs in quicksort and mergesort, added some notations for autotesting process