hs: more code on signings and expected charpoly,

also there's a bug in the test
regular_cover_when_normal_subgroup.