pub fn execute_and_commit_transaction<S, V>(
    substate_db: &mut S,
    vm: V,
    costing_parameters: &CostingParameters,
    execution_config: &ExecutionConfig,
    transaction: &Executable<'_>
) -> TransactionReceiptV1