Fixed bug where weak hypotheses accidentally led to strong sign info. Fixed problem with instantiating empty Solver() for real.