Add mutex locking around new methods
Add Result() method (picosat_res)
Expose Assume, and FailedAssumption[s] methods