add atomic concurrent increment

3 jobs for gen_proofmode in 11 minutes and 29 seconds (queued for 2 seconds)