[Antithesis] Make reports easier to read

[serathius]

What would you like to be added?

The etcd linearization visualization or report json file data is pretty hard to read due to not very readable JSON.

There is a lot of empty fields like "Value": {Value:"123", "Hash": 0}. The reason for that is that we are using dumping data to JSON which is not very human readable. Also JSON in golang by default will serialize all the fields even if they are empty (See Hash field in the example).

Possible improvements:

• Add omitempty tag to all JSON fields.
• Implement DescribeModel function to DeterministicModel and NonDeterministicModel

Why is this needed?

Make reports easier to read
/cc @nwnt @henrybear327

[joshjms]

Hi Marek, if no one is doing this, can I take this up?

[joshjms]

anishathalye/porcupine#30

[serathius]

As described in #19933 (comment) we might want to also introduce a shorter description of the model. Formatted JSON is very vertical making it not very useful for large state.

[serathius]

Think we achieved this. Thanks @joshjms