Update dependency: deps/pyk_release #6707

Job	Run time
Version Bump	8s
Version Bump	8s
Code Quality Checks	59s
Code Quality Checks	59s
Unit Tests	2m 51s
Unit Tests	2m 51s
Build and Test KEVM concrete execution	25m 48s
Build and Test KEVM concrete execution	25m 48s
Nix (normal)	17m 41s
Nix (normal)	17m 41s
Profiling	12m 54s
Profiling	12m 54s
Build and Test KEVM proofs (test-prove-kprove, 45)	19m 12s
Build and Test KEVM proofs (test-prove-kprove, 45)	19m 12s
Nix (macos-13)	39m 38s
Nix (macos-13)	39m 38s
Build and Test KEVM proofs (test-prove-pyk, 120)	1h 23m 23s
Build and Test KEVM proofs (test-prove-pyk, 120)	1h 23m 23s
Nix (ARM64)	13m 43s
Nix (ARM64)	13m 43s
Build and Test KEVM proofs (test-prove-pyk, --use-booster, 90)	58m 44s
Build and Test KEVM proofs (test-prove-pyk, --use-booster, 90)	58m 44s
Build and Test KEVM Foundry proofs (legacy, 180)	1h 18m 28s
Build and Test KEVM Foundry proofs (legacy, 180)	1h 18m 28s
Build and Test KEVM Foundry proofs (booster, --use-booster, 90)	31m 53s
Build and Test KEVM Foundry proofs (booster, --use-booster, 90)	29m 38s
	12h 48m 29s

Provide feedback