Instead of assuming all shares are the same size here, pass in all the sizes.
The protocol doesn't allow immutable shares in a storage index to have
differences in size but it does allow mutable shares in a slot to differ this
way.