Update dependency: deps/pyk_release #8688

Job	Run time
Code Quality Checks	1m 37s
Version Bump	13s
Build and Test KEVM proofs (test-prove-kprove, 45)	21m 41s
Profiling	4m 39s
Build and Test KEVM proofs (test-prove-pyk, 180)	1h 31m 49s
Build and Test KEVM concrete execution	23m 31s
Build and Test KEVM proofs (test-prove-pyk, --use-booster, 150)	45m 9s
Unit Tests	5m 38s
Nix (normal)	8m 24s
Nix (macos-13)	32m 48s
Nix (ARM64)	5m 11s
	4h 0m 40s

Provide feedback