Include in JSON outputs the number of samples tested, and the number of distinct symbols found #238
Description
In the console text output when running the 90B tool, the tool reports, right at the beginning, something like "Loaded 1000000 samples of 2 distinct 1-bit-wide symbols." This information is however not present in the JSON output, and it is frequently relevant information.
May I suggest including the "loaded # samples" and the symbol length in the JSON file as reported in the console text output.