concurrent stacks: also unify concurrent bag (per-element) specs for stacks 1 and 2

1 job for ci/gen_proofmode in 9 minutes and 5 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
passed #16207
fp
build-iris.dev

00:09:05