Empirical evaluation of smart contract testing: what is the best choice? | Synapse