Corrected a few bugs in randomized and deterministic base swaps. Corrected bug in base change methods, strong generating sets are now propagated correctly.

Added new checks in GroupBSGSCheck.