Add SolverTest tests

[tmigot]

This includes multiprecision tests that are currently not done in Percival

[tmigot]

• The following is not solved:

nls = ADNLSModel(
  x -> [x[1] - 1; x[2] - 1],
  -ones(2),
  2,
  x -> [sum(x .^ 2) - 2; x[2] - x[1]^2],
  zeros(2),
  zeros(2),
  name = "linear residual and quad constraints";
)

and should be investigated.

• Two multiprecision tests fail with Float16 with an error (in Krylov.jl).