This is a truly excellent post, but Anish (humbly) buries the lede: Anish implemented a really fast checker called Porcupine which is available here <a href="https://github.com/anishathalye/porcupine" rel="nofollow">https://github.com/anishathalye/porcupine</a>. Would love to hear more on how this helped you catch any bugs & how the diagnosis process goes from a failed check to bugfix.