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

Job	Run time
Version Bump	13s
Code Quality Checks	2m 2s
Build and Test KEVM concrete execution	1m 13s
Unit Tests	1m 16s
Profiling	1m 14s
Nix (normal)	1m 31s
Nix (macos-13)	1m 24s
Nix (ARM64)	1m 28s
Build and Test KEVM proofs (test-prove-kprove, 45)	1m 17s
Build and Test KEVM proofs (test-prove-pyk, 180)	1m 16s
Build and Test KEVM proofs (test-prove-pyk, --use-booster, 150)	1m 14s
	14m 8s

Provide feedback