Fast spell checking with bbkh