When AI writes the software, who verifies it?