Update dependency: deps/pyk_release #8675

Job	Run time
Code Quality Checks	1m 40s
Version Bump	12s
Build and Test KEVM proofs (test-prove-kprove, 45)	34m 51s
Build and Test KEVM proofs (test-prove-pyk, 180)	2h 7m 24s
Unit Tests	3m 57s
Profiling	10m 56s
Build and Test KEVM concrete execution	22m 52s
Build and Test KEVM proofs (test-prove-pyk, --use-booster, 150)	1h 1m 33s
Nix (normal)	12m 0s
Nix (macos-13)	26m 44s
Nix (ARM64)	5m 1s
	5h 7m 10s

Provide feedback