Changed fuzzer to generate always examples with exactly one output
Changed fuzzer to generate always files in the old AIGER format
Changed fuzzer to accept a "no-reduction" option, which allows us to
test the unrolling functionality
Fixed tests in TestTree
Fixed bug in QDIMACS formatter to be more flexible with different AND
cascades
Fixed bug in Main to apply Tseitin conversion even if there is no
reduction.
Changed interpretation of MCAiger output 2 to UNSAT