Document all possible errors (and some impossible) from the verify program.