Validate transaction fee in batch #1689
Description
After the initial fee implementation, the FEE_ASSET is essentially completely burned because the batches and blocks don't do anything with it.
While burning is fine for now (until batches and blocks claim the tip part), a batch should validate that a transaction's fees are sufficient by recalculating the required fee for the transaction and checking it against FEE_ASSET.
This function can be used for that and should be implemented on both ExecutedTransaction and ProvenTransaction and not behind testing:
After this issue, we can consider continuing with validating batch fees in the block, but this issue only covers the above.
Broken out of #1673.