`VerifyRegionClosure` is applied on each region to verify certain properties. The comment says it would early-return on the first failure, but the code disagrees -- it would continue to next region.

Additionally, the iteration will exit after the first archive (open/closed) region, which seems a mistake.

The proposed fix is to have early-return only on first failure; otherwise, all regions will be visited.