Migrated Sequence.is_permutation().

Was previously sequencetools.is_permutation().