CI: Double the number of threads for jobs that did slow down after switching to a smaller resource class

Author: cameel

.circleci/config.yml

@@ -592,6 +592,11 @@ jobs:
 
   b_ubu_clang: &b_ubu_clang
     <<: *base_ubuntu2004_clang_large
+      environment:
+        TERM: xterm
+        CC: clang
+        CXX: clang++
+        MAKEFLAGS: -j 10
     steps:
       - checkout
       - run: *run_build
@@ -637,7 +642,7 @@ jobs:
     # Runs 2x faster on large and 3x on xlarge but no other jobs depend on it we can live with medium.
     <<: *base_ubuntu2004
     environment:
-      MAKEFLAGS: -j 3
+      MAKEFLAGS: -j 6
       CMAKE_OPTIONS: -DCMAKE_BUILD_TYPE=Release -DUSE_Z3_DLOPEN=ON -DUSE_CVC4=OFF -DSOLC_STATIC_STDLIBS=ON
     steps:
       - checkout
@@ -688,7 +693,7 @@ jobs:
     environment:
       CMAKE_BUILD_TYPE: Debug
       CMAKE_OPTIONS: -DCMAKE_CXX_STANDARD=20 -DUSE_CVC4=OFF
-      MAKEFLAGS: -j 5
+      MAKEFLAGS: -j 10
     steps:
       - checkout
       - run: *run_build
@@ -800,6 +805,9 @@ jobs:
 
   b_ems:
     <<: *base_ems_large
+    environment:
+      TERM: xterm
+      MAKEFLAGS: -j 10
     steps:
       - checkout
       - run: