Unifying and Verifying Mechanistic Interpretations: A Case Study with Group Operations