feat: handle destroyed accounts in a sound way

[enitrat]

TODO: detail this issue

• selfdestruct only destroys accounts if done in same tx
• if an account is destroyed we need to clear its storage
• to clear the storage currently we have an unsound way where the prover sends us all keys to delete
• a better way would be to rely on the state object
• when finishing a tx we have two cases
  • if no deleted account do nothing
  • if an account is deleted, squash the state, and in the resulting squashed state, remove any information about the deleted account (address -> Account and all storage keys)
  • this will probably require, upon iterating on each hashed(address, key), we verify the prev->new_value constraints, but we don't push to the new squashed_state segment the data of the account if address == destroyed address