chore: v0.1.13.dev2 dev release

[snimu]

Summary

• Bump version from 0.1.13.dev1 to 0.1.13.dev2
• Add release notes covering changes since v0.1.13.dev1

Changes since v0.1.13.dev1

• Better token count metrics (Better token count metrics #1108)
• vf-tui: compare for all metrics (vf-tui: compare for all metrics #1117)
• cli-agent: surface agent crashes as infra errors after any turn (fix: surface mid-rollout agent crashes as infra errors #1177)
• harness.get_upload_dirs; reduce rlm github requests (harness.get_upload_dirs; reduce rlm github requests #1178)
• tool-env: ToolMonitorRubric takes tool_names instead of tools (feat: ToolMonitorRubric takes tool_names instead of tools #1179)
• feat: auto-register ToolMonitorRubric from harness.tool_names (feat: auto-register ToolMonitorRubric from harness.tool_names #1181)
• feat: include full trace in agent error logs (feat: include full trace in agent error logs #1185)
• Remove dead RLM tool config constants (Remove dead RLM tool config constants #1189)

Linked PRs

• Better token count metrics #1108
• vf-tui: compare for all metrics #1117
• fix: surface mid-rollout agent crashes as infra errors #1177
• harness.get_upload_dirs; reduce rlm github requests #1178
• feat: ToolMonitorRubric takes tool_names instead of tools #1179
• feat: auto-register ToolMonitorRubric from harness.tool_names #1181
• feat: include full trace in agent error logs #1185
• Remove dead RLM tool config constants #1189

---

Note

Low Risk
Low risk: this PR only bumps the package version and adds release notes; there are no functional code changes beyond the version string.

Overview
Bumps verifiers from 0.1.13.dev1 to 0.1.13.dev2.

Adds RELEASE_v0.1.13.dev2.md documenting highlights and the included changes since v0.1.13.dev1 (token metrics, vf-tui compare enhancements, harness/RLM integration tweaks, and improved CLI-agent crash/error logging).

^{Reviewed by Cursor Bugbot for commit 514f540. Bugbot is set up for automated code reviews on this repo. Configure here.}