Open-banking will make formal verification go mainstream.