Verify should walk the given data store btree and validate that the aggregated timestamp range is correct. Correctness implies that the internal pages timestamp range encompasses the leaf pages timestamp ranges.