High-assurance field inversion for pairing-friendly primes