Write coverage statistics to json file

no no