Implement new quote verification logic

[MartinquaXD]

Description

Implements a new quote verification strategy which does not rely on a helper contract deployed at the trader address for setting up the necessary preconditions (balance and approval).
Approvals are now being faked using state overrides with the helper functions introduced in previous comments.
And to transfer the necessary sell tokens to the user without acting "as the user" we adjust the Spardose account to directly transfer to the user instead of msg.sender.

Changes

• removed now unused Trader.sol and references in build infra
• adjust Spardose::requestFunds to also take the receiver
• more accurate gas cost computation
  • copy to calldata to memory OUTSIDE of the metered section
  • setup trade pre-condition OUTSIDE of the metered section
  • account for 21K initial tx cost and calldata cost
• re-generate changed crates
• use new SimulationBuilder for setting up all the state overrides and computing the callldata
• split verify_inner into a couple of smaller functions
• deleted CodeFetching as it's not needed anymore
• pass full AppData string inside Verification (currently gets parsed once per quote verification for simplicity sake - might make sense to change later on)

How to test

tests for quote verification are still passing

[gemini-code-assist]

Code Review

This pull request refactors the quote verification and simulation framework by replacing the Trader impersonation contract with direct state overrides and a simplified Spardose funding mechanism. Key updates include gas measurement logic in the Solver contract, refactoring Verification to use app_data, and optimizing Tenderly simulation parameters. A high-severity issue was identified in Solver.sol where gas measurement incorrectly subtracts cold access costs for a warm contract, leading to an underestimation of approximately 2500 gas per quote.