Checkings on transaction processing

[kroggen]

If we make a transaction with type CALL without payload and to an address that there is no smart contract the engine accepts the transaction.

Example:

https://testnet.aergoscan.io/transaction/CQPK53ftHwgEC8bRBce3vPHvnEZgBJquFXBe3Cv16Vo7/

Notice that the destination account is not a contract and the payload is empty.

If the transaction is a CALL or QUERY then the engine should make these 2 verifications:

• The destination address must be a smart contract
• The transaction must have a valid payload (empty payload calls the default function)

[kroggen]

Here we have a similar case:

https://testnet.aergoscan.io/transaction/6CggiP7zHNCaxJLgTaxUJA3pyj9AJnhtxZfBQiKHgWyG/

Where the payload is valid but the recipient does not exist (is not a contract)

Strangely the transaction is marked as "success"