As both users and developers, we're rapidly approaching the point where we have to decide 'is it OK for the software I use for serious things (health, money, privacy etc.) was not fully vetted or fully understood, line-by-line, by expert humans.'

Tests were always a vital part of development. We're going to have to decide if we can rely on them even way more than we do now.

Sorry for being Captain Obvious today...