Add explicit result arity to start definitions

[lukewagner]

As discussed in #84, this PR adds an explicit result arity to the binary format. Thinking about this a bit more, it seemed like maybe we should have a symmetric rule in the text format: namely that the arity of the result list should match the callee (with the identifies being optional). Thoughts?