Fix empty array encoding and bump to 0.1.13

[hayesgm]

This patch fixes the encoding of an empty dynamic array, which was previously using a range 1..0, which is iterated twice, instead of zero times (as intended).