test iAssumption-based evar instantiation

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