Added test code for is_prime_lenstra and fixed a small bug.