Automated Testing for Blockchain! Enhancing Security and Efficiency