More tests on negabinary operations.
Better string output for ZDD, helps in debug.