Update dependency: deps/k_release #9271

Job	Run time
Version Bump	9s
Version Bump	9s
Code Quality Checks	1m 51s
Code Quality Checks	1m 51s
Unit Tests	1m 42s
Unit Tests	1m 42s
Profiling	2m 15s
Profiling	2m 15s
Build and Test KEVM concrete execution	1s
Build and Test KEVM concrete execution	14m 57s
Nix (normal)	8m 9s
Nix (normal)	8m 9s
Nix (macos-13)	28m 18s
Nix (macos-13)	28m 18s
Nix (ARM64)	8m 26s
Nix (ARM64)	8m 26s
Build and Test KEVM proofs (test-prove-kprove, 45)	9m 36s
Build and Test KEVM proofs (test-prove-kprove, 45)	9m 36s
Build and Test KEVM proofs (test-prove-pyk, 180)	1h 27m 12s
Build and Test KEVM proofs (test-prove-pyk, 180)	1h 27m 12s
Build and Test KEVM proofs (test-prove-pyk, --use-booster, 150)	1h 33m 25s
Build and Test KEVM proofs (test-prove-pyk, --use-booster, 150)	1h 33m 25s
	8h 17m 4s

Provide feedback