version tracking

[tias]

For stable, we should pin each solver to the known latest supported version.

Then, when we do new releases, we can check if there are updates, and update the pinned version if so.