Debugging Differential Privacy: A Case Study for Privacy Auditing