Make ECPP verification compatible with the PARI MPI engine.

* lib/pari.c (cm_pari_init): Initialise the PARI multithreading engine
  explicitly after all other PARI preparations. Set threadsizemax.
  (cm_pari_print_library): Print the threading engine and the number
  of threads.