> An expert would be able to skim it, recognize the path of reasoning as something he's seen a before, and narrow down on the error quickly.
This is almost exactly equivalent to saying that an expert programmer should be able to determine whether an unfamiliar, complicated code base contains a bug by skimming the source. The hard bugs are going to be subtle.