Add math formula consistency checker

Exclude inline \begin{thebibliography} from parsed body

Skip prose-less paragraphs and fail fast on LLM timeouts

Initial scaffold: grammar checker MVP