Add compile flags and expose option to support picosat Trace
Fix bug where passing an Options struct without setting a PropagationLimit will end up using value of 0 (use picosat default of 1000)
Expose Print, WriteClausalCore, and WriteCompactTrace