Beaver: An Efficient Deterministic LLM Verifier | Not Hacker News!