It came up while reviewing WT-9603 that nothing in verify crosschecks that the btree type and page type match. It is extremely unlikely that they wouldn't; but if for some reason we ever did write out a page of the wrong type, things would go downhill very fast if we tried to run using it. So since the test is easy, it seems worth adding.