Store actual maximum record size in index header rather than 32767

Indexes with variable-size rows store 32767 in the header field that indicates the row size, leading to allocation of unnecessarily large buffers. It's simple enough to calculate the maximum size encountered when building the index.