Returns true iff n is prime. Uses provable-prime? for small n, falling back on probable-prime? for large values.