verification

The verification state of the range. TODO: flip the default to DECLARATION once all empty ranges are marked as UNVERIFIED.