Added log_ping()
Added module->remove(), module->addWire(), module->addCell(), cell->check()
Bugfix in satgen for cells with wider in- than outputs.
Wider range of cell types supported in "share" pass
Removed deprecated module->new_wire()
Replaced depricated NEW_WIRE macro with module->addWire() calls