Primality testing with Frobenius symbols