Fixup logic minimization error handling
Simplify some PicoSAT constant values
Cleanup some espresso constants