Master's Thesis: Verification of Reasoning Traces for LLM-Based Agents | Ericsson