add call to missing descructor picosat_reset()