v10.14.0 — U/V poles dense on the middle arcs

The poles of U and V accumulate at every point of arg x in [pi/5,4pi/5] and [6pi/5,9pi/5] (paper2a cor:arcUV). This has the same standing as the other U/V pole results: it assumes thm:model and thm:RJ, and it is computer-assisted, using P1e, P1f and P1g, each adversarially reviewed. The release also fixes a covering-radius bug in P1e_caseA.py; rerunning the certificate gave identical output.