BINOP_ABSTRACT for Brent-Kung.
Remove assert only for N=8 case
Remove axioms for groupsize; add sanity check