Implement fast summarization

[anvacaru]

fixes: #266

Changes:

• add a new --init-node-from flag that takes a JSON file containing the summary of a deployment process. Takes the accounts obtained after going through the summary and inserts them in the <accounts> cell of the initial node of the KCFG.

• Extract the logic that reads the JSON summary files in foundry_summary() to its own read_summary() function.

• Refactor DeploymentSummary class:

  • extract the logic that processes a summary entry into its own SummaryEntry class.
  • refactoring the DeploymentSummary.add_cheatcode(dict) that would process a summary entry and create the Solidity code for the cheat codes required to update the state to DeploymentSummary.extend(SummaryEntry).

• Add summary_to_account_cells(dict) that goes through the summary JSON object and creates a list of <account> cells.

Minor changes:

• replace occurrences of KApply(.Map) to map_empty()
• remove unused _write_cfg function

Next steps:

1. Apply the state diff changes over an account that has symbolic fields like {'balance': KVariable('ACCT_X_BAL'), 'nonce': KVariable('ACCT_X_NONCE') , ...} instead of {'balance': 0, 'nonce': 0, 'code': '', 'storage': {}}
2. Insert the set of account addresses in <accessedAccounts>,<touchedAccounts> (not sure actually?)
3. Currently, the storage updates from the summary are placed only in <storage>, apply them in <origStorage> as well.

[tothtamas28]

LGTM.

It would be nice to have another reviewer look at it before merging.

[ehildenb]

It would be good to test this on the Optimism codebase where the summaries are being used. @JuanCoRo can you confirm that this works for your needs?

[palinatolmach]

Looks good to me too! I think @anvacaru tested it on the engagement proof of interest, but I'll wait for an additional confirmation before approving and merging.