Add Mensch to benchmark
Speed up tokenizer