pub fn is_solvable(degree: usize, gens: &[Perm]) -> bool
Is the group solvable? (Its derived series reaches the trivial group.)