Enable using proof heirarchy from depends clauses #6895

Job	Run time
Version Bump	10s
Code Quality Checks	1m 0s
Unit Tests	4m 5s
Build and Test KEVM proofs (test-prove-kprove, 45)	14m 15s
Build and Test KEVM concrete execution	25m 14s
Build and Test KEVM proofs (test-prove-pyk, 120)	2h 0m 17s
Profiling	4m 33s
Build and Test KEVM proofs (test-prove-pyk, --use-booster, 90)	1h 30m 18s
Nix (normal)	7m 9s
Nix (macos-13)	27m 5s
Nix (ARM64)	4m 52s
	4h 58m 58s

Provide feedback