Auto merge of #160605 - nnethercote:four-new-solver-speedups, r=jdonszelmann

Three new-solver speedups



Details in individual commits.

r? @lcnr