Add CI/CD: GitHub Actions workflow + ruff config

Speed up proof generation: cache components, smaller max_tokens, two-stage retry

Fix 4 bugs found by stress-test agents + add fuzz/concurrent test suites

Add LangChain/LangGraph RAG pipeline for retrieval-augmented proof generation