Use TBB containers

* Temporary fix for DDValue to solve race conditions
at the same time please take the opportunity to migrate to either std::shared_ptr or std::unique_ptr (the latter is most probably what needed here)