Export TIR to json

Development pre-RFC
2

Thanks, @SebastianBoblestETAS. I agree that json is a great format for serializing, but I have a few questions:

  1. What are the pros and cons of json format compared with TVMScript (if we have python env)

  2. How to design a json format to store all TIR information for all possible nodes? Do you have examples to show it?