If a group knows its size, use it for mandarins (and ImmediateVerification?)

[ssiccha]

If a group knows its size, for example since it is the monomorphic image of another group, then we can use that in recog to make sure that the kernels we construct are not too small. I grepped for HasSize and it's not used for ImmediateVerification. I'm not sure whether that would be easy, but for mandarins I think the following should be doable: if the group knows its size, but recognition finished and computed an incorrect size, then we should create more mandarins and repeat the "write them as words in the generators" process.