added lucas-lehmer and miller-rabin primality tests