lattice decoding tests, with memory, on-disk, and binary phrase-tables