Finished verification of bucketsort, and fixed a verification error in a quicksort helper routine.