Rollup merge of #161631 - nnethercote:new-solver-perf-comments, r=jdonszelmann

Add two comments relating to new-solver performance

These non-obvious things are worth documenting.

r? @jdonszelmann