Update dependency: deps/z3 #7171

Job	Run time
Java: Linting	1m 11s
Java: Linting	1m 11s
Pyk: Code Quality & Unit Tests (3.10)	1m 27s
Pyk: Code Quality & Unit Tests (3.10)	1m 27s
Pyk: Code Quality & Unit Tests (3.11)	1m 14s
Pyk: Code Quality & Unit Tests (3.11)	1m 14s
Pyk: Code Quality & Unit Tests (3.12)	1m 23s
Pyk: Code Quality & Unit Tests (3.12)	1m 23s
Pyk: Code Quality & Unit Tests (3.13)	2m 5s
Pyk: Code Quality & Unit Tests (3.13)	2m 5s
Code Quality Checks	1s
Code Quality Checks	1s
K: Ubuntu Jammy Package	10m 0s
K: Ubuntu Jammy Package	31m 39s
Pyk: Nix Build (ubuntu-24.04)	45s
Pyk: Nix Build (ubuntu-24.04)	45s
K: Source Build & Test	17m 56s
K: Source Build & Test	17m 56s
K: Ubuntu Jammy Frontend Package	19m 18s
K: Ubuntu Jammy Frontend Package	19m 18s
K: Nix Build & Test (self-hosted, linux, normal)	6m 3s
K: Nix Build & Test (self-hosted, linux, normal)	6m 3s
Pyk: Nix Build (macos-14)	1m 50s
Pyk: Nix Build (macos-14)	1m 50s
K: Nix Build & Test (MacM1, self-macos-12)	24m 31s
K: Nix Build & Test (MacM1, self-macos-12)	24m 31s
Pyk: Integration Tests	14m 34s
Pyk: Integration Tests	14m 34s
Pyk: Profiling	4m 20s
Pyk: Profiling	4m 20s
Pyk: Regression Tests	18m 12s
Pyk: Regression Tests	18m 12s
Pyk: Documentation	5m 6s
Pyk: Documentation	5m 6s
	4h 41m 31s

Provide feedback