Correctly detect overlapping encodings

A regression introduced a few years ago prevented detecting partially
overlapping encodings; instead, we only detected exact matches.  Now, we
detect the partial cases.

We now need to maintain two allowlists (overlapping_extensions and
overlapping_instructions) for the cases that extensions and/or
instructions overlap by design.