Documentation

Initialize the mutation versions from the persisted state, so the solver bounds are populated by the versions determined in previous runs.

bounds is initialized empty because it is used only for updating based on candidates, since upper bounds differ from the tested versions.