Add verify methods for checking Iterator emptyness.