4xm: add assert to check that the pointer from read_huffman_tables is within the...