Completed isPermutation method
Added property testing for isPermutation