…tion.

(rename to SR to make Eamonn happy)

Use SR method by default if radical >1

Method for characteristic subgroups is pathetic filtering amongst normal
subgroups.

Also added `CharacteristicFactorsOfGroup` in basic version.

Use radical automorphisms (more efficient solvable/pgroup routines)
to potentially reduce search through large GL's in next step

Add Assertion in RefinedSeries

This is slow and overkill, but in the case of many generators still better
than morpheus...

…ism if

many generators.

Add Test.

to CharacteristicSubgroupsLib to avoid complaints when loading CRISP.

Moved a test which for some reason takes very long in later place

This causes timeouts in travis test.

Use characteristic factors to first map in factor groups (shorter orbits)
Use direct product structure to obtain better permrep for automorphism group.

FIX: Do not drag autactbase into solvable case.

Use only compatible radical automorphisms.
Further prevention of invalid option passing.
Refine subnormal series with given characteristic subs.

Fix initialization in permrep for automorphism.

Rename TF to SR

In isomorphism test feed in subgroups that must be stabilized by Aut(G)\wr
2, as we don't need the full Aut(GxG)

Thus create common parent for niceo

Fix variable use