Co-audit: tools to help humans double-check AI-generated content