Update dependency: deps/k_release #9237

Job	Run time
Version Bump	6s
Version Bump	6s
Code Quality Checks	2m 41s
Code Quality Checks	2m 41s
Build and Test KEVM concrete execution	23m 33s
Build and Test KEVM concrete execution	23m 33s
Unit Tests	3m 3s
Unit Tests	3m 3s
Profiling	3m 30s
Profiling	3m 30s
Nix (normal)	8m 5s
Nix (normal)	8m 5s
Build and Test KEVM proofs (test-prove-kprove, 45)	12m 25s
Build and Test KEVM proofs (test-prove-kprove, 45)	12m 25s
Nix (macos-13)	30m 20s
Nix (macos-13)	30m 20s
Build and Test KEVM proofs (test-prove-pyk, 180)	1h 7m 15s
Build and Test KEVM proofs (test-prove-pyk, 180)	1h 7m 15s
Nix (ARM64)	4m 44s
Nix (ARM64)	4m 44s
Build and Test KEVM proofs (test-prove-pyk, --use-booster, 150)	1h 30m 48s
Build and Test KEVM proofs (test-prove-pyk, --use-booster, 150)	1h 33m 32s
	8h 15m 44s

Provide feedback