add a test for 'done' not to loop

3 jobs for gen_proofmode in 22 minutes and 37 seconds (queued for 3 seconds)