hv.h: tweak comment about HvAUX preallocation for large hashes