Complete verification of BucketSort.