Maxima's primep takes 360ms on the 1024-bit one for me, so seems quick enough to stick into the build. It sounds like the chance if it passing the test is arou

Maxima's primep takes 360ms on the 1024-bit one for me, so seems quick enough to stick into the build. It sounds like the chance if it passing the test is around 10^-15 using the default values; which seems sufficient for a build test which is run many times.