converted all options to bool (except dont simplify for which it makes sense)
converted all options to bool (except dont simplify for which it makes sense)

c-cube/zipperposition,c-cube/zipperposition,c-cube/zipperposition,c-cube/zipperposition