Switch is_irreducible_rabin to using frobenius powers.
Switch to using is_irreducible_rabin for irred tests. Check result of operator
Q is really irreducible.
Switch remaining irred test to rabin.