Fixed bug where weak hypotheses accidentally led to strong sign info. Fixed problem with instantiating empty Solver() for real.
Merge remote-tracking branch 'origin/master'