[RegionInfo] Always call verifyRegion()

verifyRegion() itself contains a guard against the VerifyRegion
option, which is enabled by default under EXPENSIVE_CHECKS and can
be explicitly enabled using -verify-region-info.

Relative to the previous implementation this means that
-verify-region-info will now actually work by itself, instead of
requiring -debug to also be enabled.