Kruw will always tell you how Wasabi is open-source and how you can always inspect the code yourself.
Yep, that's exactly how this bug was caught and fixed. Having multiple teams implementing the protocol with open source code is a great advantage for hardening software.