verify detects missing, extra and different primary keys