Provide a Json implementation of a reporter, mostly for automated tools. Require the initial random seed and number of fuzz runs.