but how would you systematically audit a large async codebase to find all the hidden interleave points, unnecessary locks?