ci: bump xcode to 15.4.0

Author: yanghang8612

.circleci/config.yml

@@ -496,7 +496,7 @@ defaults:
 
   - base_osx: &base_osx
       macos:
-        xcode: "15.0.0"
+        xcode: 15.4.0
       resource_class: macos.m1.medium.gen1
       environment: &base_osx_env
         TERM: xterm

.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