We will get to the point where you'll trust it to catch those issues. The latest models can already do it sometimes for code, like explain that it considered various options and the tradeoffs between them.