Stop globally hashconsing

[robsimmons]

This is a medium-small refactor: repeated uses of the Dusa API will cause memory leaks, because the same hash-consing table is used accross multiple instances of Dusa objects. Based on the interface, each Dusa object should really have its own hashconsing table.