Text this: Complexity classifications for different equivalence and audit problems for Boolean circuits