ivory-serialize: assertions

[leepike]

It appears that the assertions are insufficiently-restrictive. E.g., the assertion here uses <=? rather than <?. Double-check that the index + size < remaining pack length.