Fixes and improvements in ezSAT library
Added -all and -max options to sat_solve