add formal perf counters and remove debug counters