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