The Informal Blog - Model-Based Testing Automates Complex Blockchain Protocol Validation