An LLM Agentic Approach for Legal-Critical Software: A Case Study for Tax Prep Software