blockifier_reexecution,starknet_transaction_prover: parameterize skip_fee_charge in prefetch

[AvivYossef-starkware]

No description provided.

[reviewable-StarkWare]

This change is 

[AvivYossef-starkware]

• blockifier_reexecution: delete RpcStateReader methods superseded by get_block_info_with_txs #13834
• blockifier_reexecution: cache BlockInfoWithTxs in consecutive readers to dedupe RPC fetches #13833
• blockifier_reexecution: add get_block_info_with_txs for single-call block fetch #13832
• blockifier_reexecution,starknet_transaction_prover: support DeployAccount V3 in simulate prefetch #13778
• blockifier_reexecution,starknet_transaction_prover: graceful fallback on prefetch failure #13743
• blockifier_reexecution,starknet_transaction_prover: parameterize skip_fee_charge in prefetch #13738 👈 (View in Graphite)
• blockifier_reexecution: remove fallback warn logs from SimulatedStateReader #13737
• blockifier_reexecution: wire prefetch_initial_reads into replay CLI #13712
• blockifier_reexecution: add prefetch_initial_reads to ConsecutiveRpcStateReaders #13711
• blockifier_reexecution: extract contract_class_mapping_dumper into ConsecutiveRpcStateReaders #13741
• blockifier_reexecution: add PrefetchedStateReader and move from starknet_transaction_prover #13654
• main-v0.14.2

This stack of pull requests is managed by Graphite. Learn more about stacking.

[cursor]

PR Summary

Medium Risk
Changes the simulation flags used for state prefetching, which can alter cache hit rates and which state keys are prefetched, potentially impacting performance or causing more RPC fallbacks if misconfigured.

Overview
Adds a skip_fee_charge parameter to simulate_and_get_initial_reads and plumbs it through SimulatedStateReader::from_rpc_state_reader, making inclusion of the SKIP_FEE_CHARGE simulation flag configurable instead of always enabled.

Updates call sites to use different defaults by context: block reexecution keeps fee charging enabled during prefetch (skip_fee_charge = false) to better match real blocks, while virtual block execution disables fee charging (skip_fee_charge = true) since transactions may not pay fees; tests are updated for the new function signature.

^{Reviewed by Cursor Bugbot for commit b4e1482. Bugbot is set up for automated code reviews on this repo. Configure here.}

[Yoni-Starkware]

@Yoni-Starkware reviewed 4 files and all commit messages, and made 1 comment.
Reviewable status: complete! all files reviewed, all discussions resolved (waiting on noaov1).

[AvivYossef-starkware]

@AvivYossef-starkware reviewed 1 file and all commit messages.
Reviewable status: complete! all files reviewed, all discussions resolved (waiting on noaov1).

[Yoni-Starkware]

@Yoni-Starkware reviewed 1 file and all commit messages.
Reviewable status: complete! all files reviewed, all discussions resolved (waiting on noaov1).