* Coretests: implement the test "tx_pool_semantic_validation"
* Play the test "tx_pool_semantic_validation" on the HF 3
* Delete an extra space after the ":"
* Remove an extra adding of objects to the transaction
* Create the input objects of the specified type in the "unsupported input type" case
* Modify the function bodies "inputs_sum", "outputs_sum" to be short
* Remove adding output to the transaction in the cases "inputs amount overflow", "two entries of the same type in extra"
* Get rid of use the object "image" of the type key_image in the case "equal key images in inputs"
