Move is_provable_prime to XS