[Feature] Apply a single transaction to an SMT

[cffls]

With #1363, we will be able to use SMT as a StateReader, and with #1369, it could be used as a StateWriter as well.

With SMT being a StateReader and StateWriter, we should be able to execute a transaction, as long as the pre-state trie of the transaction is provided (enabled by #1369 and #1370).

Write a function that execute a transaction on a given SMT and returns the new SMT after the transaction is applied.

The implementation will be similar to ExecuteBlockEphemerallyZk, except the block parameter is replaced with a transaction. Also, the function should allow caller to specify whether the pre-execution should be included or not. If the transaction to be executed is the first transaction in the block, the pre-execution should be enabled.