Visa used Mythos to hunt for bugs in its own payment network, then open-sourced the harness that made it possible