Add back valid tx check when the invalid tx feature is disabled

[ChihChengLiang]

Describe the feature you would like

#1677 moved the checks of matching nonce, sufficient gas limit, and sufficient balance to an InvalidTxGadget

After #1728 is completed. We'll need to consolidate the logic so that both valid and invalid tx are properly checked.

Additional context

No response