Get rid of assumptions for PicoSAT satisfy_all

It turns out the assumptions only stay valid until the next call to
picosat_sat(). Assumptions seems much more useful for satisfy_one().