Add double-check test for GitHub issue TODOs

[nex3]

It would be useful to have a CI test that verifies that there aren't any TODO tests associated with closed GitHub issues; once the issues are closed, the TODOs should be expected to work.