Investigate the use of a `CheckTxState`

[marfvr]

trafficstars

Is your feature request related to a problem? Please describe.

Investigate the use of a CheckTxState to make the ABCI request check_tx stateful and more fine-grained. For more details, see: https://github.com/valory-xyz/consensus-algorithms/pull/172#issuecomment-953315389

Describe the solution you'd like

TBD.

Describe alternatives you've considered n/a

Additional context n/a

[marfvr]

The benefit of this would be reducing the probability of incompatible transactions, and so avoiding retransmission. It is a non-functional improvement, so I'd say we could deprioritize it for the time being and focus on more reliable tx retransmission instead.