use Docker image matching CI branch

1 job for gen_proofmode