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

Job	Run time
Version Bump	25s
Version Bump	25s
Code Quality Checks	2m 49s
Code Quality Checks	2m 49s
Unit Tests	4m 52s
Unit Tests	4m 52s
Build and Test KEVM concrete execution	45m 29s
Build and Test KEVM concrete execution	45m 21s
Profiling	3m 45s
Profiling	3m 45s
Build and Test KEVM proofs (test-prove-kprove, 45)	13m 10s
Build and Test KEVM proofs (test-prove-kprove, 45)	13m 10s
Build and Test KEVM proofs (test-prove-pyk, 180)	1h 37m 11s
Build and Test KEVM proofs (test-prove-pyk, 180)	1h 37m 11s
Build and Test KEVM proofs (test-prove-pyk, --use-booster, 150)	36m 52s
Build and Test KEVM proofs (test-prove-pyk, --use-booster, 150)	36m 52s
Nix (normal)	10m 33s
Nix (normal)	10m 33s
Nix (macos-13)	29m 40s
Nix (macos-13)	29m 40s
Nix (ARM64)	5m 8s
Nix (ARM64)	5m 8s
	8h 19m 40s

Provide feedback