Add comprehensive JSON schema for Stable MIR JSON format#99

Stevengre wants to merge 3 commits intomasterruntimeverification/stable-mir-json:masterfrom

feature/json-schemaruntimeverification/stable-mir-json:feature/json-schemaCopy head branch name to clipboard