Sync CircleCI config from certora_prover.yml

5a679ca7d1f6cf44f62f2e199a36e935a2f7afc9

Author: yoav-el-certora

.circleci/config.yml

@@ -173,7 +173,7 @@ commands:
 jobs:
   build:
     docker:
-      - image: &img public.ecr.aws/certora/cvt-image:2025.05.12-4993-b9e8bfc
+      - image: &img public.ecr.aws/certora/cvt-image:2026.01.18-5647-d0d207c
     working_directory: ~/repo
     environment:
       # configure sccache usage