Some tweaks to is_prime number of tests, and streamline strong Lucas a little