add a test for TC resolution not happening too early

3 jobs for gen_proofmode in 12 minutes and 9 seconds (queued for 3 seconds)