Add `--export-json` for structured verification results #4730

Job	Run time
Auto Label	5s
Compiler Benchmarks / compile-timer-short	12m 34s
End-to-End Benchmarks / perf-benchcomp	1h 35m 35s
Compiler Benchmarks / compile-timer-long	39m 21s
	2h 27m 35s

Provide feedback