Primality Testing and Abelian Varieties Over Finite Fields