Update dependency: kevm-pyk/src/kevm_pyk/kproj/plugin #8595

Job	Run time
Version Bump	27s
Code Quality Checks	2m 42s
Build and Test KEVM concrete execution	34m 1s
Build and Test KEVM proofs (test-prove-kprove, 45)	20m 44s
Unit Tests	5m 18s
Build and Test KEVM proofs (test-prove-pyk, 180)	2h 1m 30s
Profiling	3m 15s
Build and Test KEVM proofs (test-prove-pyk, --use-booster, 150)	1h 4m 46s
Nix (normal)	10m 41s
Nix (macos-13)	34m 42s
Nix (ARM64)	11m 29s
	5h 9m 35s

Provide feedback