clarify code that checks if a table should be upgraded to 64bits

We need to check that the table exists and that it has a primary key.
Now both of those checks are "positive" checks so it's easier for
humans to read.  Before, one of the checks was positive and one was
negative so it was confusing.