Add more project to benchmarks set

[rodiazet]

Safe, ERC-4337 EntryPoint, SP1 verifier, Permit2, Universal Router, Aave v3-origin, and Optimism contracts-bedrock

Extends the compile-time benchmark suite with 7 real-world projects extracted directly (2 via Hardhat build-info, 5 via forge extract), rounding out coverage of wallet/account-abstraction, zk-verifier, and large monorepo shapes not previously represented.

[msooseth]

LGTM. But we probably do want to cut down on stuff eventually, or our benchmark set becomes too slow. Not sure what to cut down on, but we will need to do it :)

[blishko]

LGTM. But we probably do want to cut down on stuff eventually, or our benchmark set becomes too slow. Not sure what to cut down on, but we will need to do it :)

I think at the moment we don't want to cut anything. We want to have comprehensive evaluation.
However, we also need a fast subset to get quick feedback.

[rodiazet]

LGTM. But we probably do want to cut down on stuff eventually, or our benchmark set becomes too slow. Not sure what to cut down on, but we will need to do it :)

I think at the moment we don't want to cut anything. We want to have comprehensive evaluation. However, we also need a fast subset to get quick feedback.

15 fast tier tests are added in the following PR which extract fast subsets of already added projects by this PR