Actually do proper LEB128 encoding of the length header