Fix a potential overflow in `core::str::Searcher::new`

The overflow is mitigated by checking a sufficient condition for the less
relation.

Given the term `A - B < C` (`A`, `B` and `C` fixed size unsigned integers) one
can check whether it holds, by evaluating `A < C || A - B < C`.