CleanJeans

This release includes some more incremental cleanup:

1. Explicitly pass results of backing out of unsat results in test scopes via cleanupSolve
2. properly reheapify var queue when variables grow.