Testing EOSIO smart contracts with Hydra