Updating JSON runtime format documentation

[BeowulfDragon]

This updates the documentation of the JSON runtime format.

Both the documentation and the comments in the serializer were outdated, and the documentation was missing descriptions of crucial parts of the runtime. There has previously been an attempt to update the documentation more comprehensively, but this is just an update and filling out of what already exists.

Closes #882