Get rid of unnecessary import
Move assumptions to first argument of satisfy_one
Allow arbitrary, nonzero assumptions
Improve parse_cnf docstring and error handling