Added random list length testing for permutation property testing