docs(tracing): extract inline code examples into snippet files

[hjgraca]

Context

Sub-issue of #794 — extracting inline C# code examples from documentation into standalone snippet files using pymdownx.snippets.

Pattern established by PR #1104 (batch processing + idempotency).

Scope

Doc Path	C# Blocks	Est. Snippet Files	Complexity
docs/core/tracing.md	16	2–4	Low

Branch

docs/extract-tracing-snippets

Acceptance Criteria

• All inline C# code blocks extracted into .cs files under docs/snippets/tracing/
• Language tags normalized to csharp
• hl_lines recalculated
• mkdocs build --strict passes
• Rendered docs visually identical