We usually fail faster to prove IntoPure than Absorbing/Affine.

3 jobs for gen_proofmode in 14 minutes and 13 seconds (queued for 3 seconds)