A few small changes to gpdb_verify. It is still incomplete.