SkipList: replace gc::PTB with gc::DHP