Added "-dump_fail_to_vcd" argument to SAT solver
Renamed "sat -dump_fail_to_vcd" to "sat -dump_vcd" and some minor cleanups