[sanitize] Enlighten check_range() some more No need to check for len=0 arrays. They must still be in range.