Use GrounderSolver as default adapter

- Adds a lazy option to decide if the run method returns the list of
TermSets