Add methods to check the the solver's state and basic tests