Add test case.

3 jobs for gen_proofmode in 23 minutes and 15 seconds (queued for 2 seconds)