Added fmpz_is_strong_probabprime.