Introduced static ZDD methods with operation caches as parameters.
Moved static ZDD operations to ZDD class, got rid of ZDDAlgebra class,
implemented operation caches as instance members of ZDDContext.