Update dependency: deps/k_release #8869

Job	Run time
Version Bump	10s
Version Bump	10s
Version Bump	10s
Code Quality Checks	4m 38s
Code Quality Checks	4m 38s
Code Quality Checks	4m 38s
Unit Tests	1s
Unit Tests	1s
Unit Tests	1s
Nix (normal)	8m 26s
Nix (normal)	8m 26s
Nix (normal)	8m 26s
Build and Test KEVM concrete execution	26m 53s
Build and Test KEVM concrete execution	26m 53s
Build and Test KEVM concrete execution	26m 53s
Nix (macos-13)	29m 1s
Nix (macos-13)	29m 1s
Nix (macos-13)	29m 1s
Profiling	1s
Profiling	1s
Profiling	1s
Nix (ARM64)	4m 53s
Nix (ARM64)	4m 53s
Nix (ARM64)	4m 53s
Build and Test KEVM proofs (test-prove-kprove, 45)	23m 55s
Build and Test KEVM proofs (test-prove-kprove, 45)	23m 55s
Build and Test KEVM proofs (test-prove-kprove, 45)	23m 55s
Build and Test KEVM proofs (test-prove-pyk, 180)	1h 51m 22s
Build and Test KEVM proofs (test-prove-pyk, 180)	1h 51m 22s
Build and Test KEVM proofs (test-prove-pyk, 180)	1h 51m 22s
Build and Test KEVM proofs (test-prove-pyk, --use-booster, 150)	53m 13s
Build and Test KEVM proofs (test-prove-pyk, --use-booster, 150)	53m 13s
Build and Test KEVM proofs (test-prove-pyk, --use-booster, 150)	53m 13s
	13h 7m 39s

Provide feedback