explore removing total length from PackedCounter

[holic]

if we remove total length, we could get at least one more dynamic field, and simplifies encoding/decoding

I think we currently use it to preallocate memory for loading data from dynamic fields, so we'd need to replace it with a thing that sums up each length? we should see if it's worth the gas trade-off for the extra field