Add JSON support for VerificationResults#93

TrisCC wants to merge 3 commits intoADA-research:mainADA-research/auto-verify:mainfrom

TrisCC:json-verinetTrisCC/auto-verify:json-verinetCopy head branch name to clipboard