Run Doctor under coverage

[mdekstrand]

This uses coverage for one of the lenskit doctor runs in the test suite, so it's counted in coverage statistics.

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 90.88%. Comparing base (91fa9f8) to head (4bcf42a).
Report is 8 commits behind head on main.

Additional details and impacted files

@@            Coverage Diff             @@
##             main     #683      +/-   ##
==========================================
+ Coverage   89.99%   90.88%   +0.89%     
==========================================
  Files         134      134              
  Lines        9295     9295              
==========================================
+ Hits         8365     8448      +83     
+ Misses        930      847      -83     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.
• 📦 JS Bundle Analysis: Save yourself from yourself by tracking and limiting bundle sizes in JS merges.

[mdekstrand]

Well that didn't seem to do anything.