> Except, it’s probably four times as hard to verify the 80% right code as it is to just write the code yourself in the first place.

Why would that be true in general? You think it just so happens that a new tool gives an X speedup in ability but costs an exactly equivalent X slowdown in other places?