remove satisfiable from exports
add a couple more tests from presentation
tweak example, fix debug statement
add picosat license
expand README