Evaluating Verified Autonomy in Quantum Engineering — ThinkLLM