Final version of bogosort.