Whether the scanners created by CREATE-SCANNER should use the (fastbut large) Boyer-Moore-Horspool matchers.