Use random.sample() rather than reinventing it.