Split trace compare types into owned module

[yvette-carlisle]

Summary

• Split trace-compare-owned DTO and SQL row types from app/types.rs into trace_compare/types.rs.
• Kept trace_compare.rs focused on orchestration, DB fetches, and replay assembly, while analysis.rs keeps pure analysis helpers.
• Added a focused serialization contract test for the nested trace compare report output.

Validation

• cargo make fmt-rust
• cargo nextest run -p elf-eval --all-targets --all-features trace_compare (7 passed)
• cargo make lint-vstyle
• cargo make fmt-rust-check
• git diff --check
• cargo make check-rust
• cargo make lint-rust
• cargo make test-rust (386 passed, 92 skipped)
• cargo make check (386 passed, 92 skipped)

Review

• Scout selected the trace-compare type cluster as a narrow owner boundary.
• Skeptic passed with no blockers after staged-diff review.