Implementing Tx checks from Haskell node

[shd]

TXs in Haskell node are checked in "UTXO", "UTXOW" rules, the rules are present in different eras.

1. Need to collect these checks into one document
2. Develop a separate module, which will subscribe to TXs, checks them, and provide response (blank response "Valid" for the start).
3. Make draft implementation of the checks in Rust in the module