throw exception if programming verification fails