Corner

This release

1. Fixes and cleans up some minor documentation issues.
2. Improvements to and hardening of incremental use.

• One can now assume literals before they are otherwise referenced.
• A corner case of recently added support for using Test after unsat result was fixed.