Fix highlight case handling flagged by review bots

Highlighting now respects --case-sensitive instead of always case- folding, so terminal output doesn't mark case variants the search didn't match. Case folding is also restricted to pure-ASCII input: equal total byte length after ToLower doesn't guarantee per-offset alignment for Unicode, so non-ASCII lines fall back to exact matching.