merge Solver{Hi,Lo} and split them into separate modules

1 job for !26 with split-solver-modules in 17 minutes and 57 seconds (queued for 3 seconds)
detached
Status Job ID Name Coverage
  Build
passed #1154625
build: [4.12.0]

00:17:57