ci: bump macos.m1.medium.gen1 with xcode 15.0.0 to macos.m4pro.medium with xcode 15.4.0

Author: clonker

.circleci/config.yml

@@ -514,12 +514,12 @@ defaults:
 
   - base_osx: &base_osx
       macos:
-        xcode: "15.0.0"
-      resource_class: macos.m1.medium.gen1
+        xcode: 15.4.0
+      resource_class: m4pro.medium
       environment: &base_osx_env
         TERM: xterm
-        MAKEFLAGS: -j5
-        CPUs: 5
+        MAKEFLAGS: -j8
+        CPUs: 8
 
   - base_ubuntu_clang: &base_ubuntu_clang
       docker:

.circleci/osx_install_dependencies.sh

@@ -48,8 +48,6 @@ function validate_checksum {
 
 if [ ! -f /usr/local/lib/libz3.a ] # if this file does not exists (cache was not restored), rebuild dependencies
 then
-  brew uninstall temurin17
-  brew untap homebrew/homebrew-cask-versions
   brew update
   brew upgrade
   brew install cmake