Efficiently Serving LLM Reasoning Programs with Certaindex