iteration 3 of the verify algorithm

this time we would like to account for
the upward adjacent counts of all
equal-order model entities, as long
as the mesh entity isn't shared.