Update dependency: deps/k_release #9428

Job	Run time
Code Quality Checks	2m 17s
Version Bump	6s
Profiling	2m 23s
Nix (normal)	5m 34s
Build and Test KEVM concrete execution	18m 16s
Nix (macos-13)	26m 7s
Unit Tests	1m 48s
Nix (ARM64)	4m 50s
Build and Test KEVM proofs (test-prove-kprove, 45)	12m 9s
Build and Test KEVM proofs (test-prove-pyk, --no-use-booster, 180)	1h 1m 50s
Build and Test KEVM proofs (test-prove-pyk, 150)	1h 33m 25s
	3h 48m 45s

Provide feedback