Securing the bleeding edge of blockchain with comprehensive test suites and manual analysis.