We were verifying code before? And wouldn't AI help with verification at least for the trivial flaws?