Limit number of Newton iterations more.
Variadic templates for add_term.
Both methods for large tests.
Solver now has a user callback function.