Sanity check in boyer_moore_next