Elliptic curve primality