VeriCUA: Verification as Agentic Exploration for Computer-Using Agents — ThinkLLM