Add basic Frobenius primality test