We now do a shallow closure check on objects in compact regions.

See the new comment on why we can't do a "normal" closure check.