Changed bucketsort in boogie to really use buckets instead of comparison operation.