Replace PointerEqResolver by hash-based resolver

[lmondada]

Currently PersistentHugr uses PointerEqResolver which generates NodeIDs non-deterministically. Replace this with a deterministic hash-based resolver.