Use blockifier's TransactionExecutor API

[kkovaacs]

Stateful compression of state diffs requires some post-processing steps done after executing a block of transactions. Ideally we would convert our current code using lower-level APIs (estimate, simulate and trace) to use the TransactionExecutor API that already implements this change.

Note: the last time we checked TransactionExecutor had some API deficiencies so that estimate and simulate could not be properly implemented: skip_validate and skip_fee_charge cannot be implemented through the TransactionExecutor API.