pub fn audit_json( model: &dyn Model, annotations: &Annotations, writer: impl Write, ) -> TractResult<()>