Fix header table size in twitter-hpack-512