doc: document --debugsolver.