I don't understand why you'd want a tokenizer to be fast...
Surely the output of said tokenizer you're going to stick through a machine learning model that is orders of magnitude slower?
So it really doesn't matter if the tokenizer takes microseconds or milliseconds, when the main model takes seconds for the same input/output.