change the sat encoder to be the same callback-based interface as the decoder, and update the test
bump package ver
Merge pull request #2 from quartzjer/master

Normalizing the SAT interface