Cleanup, don't need custom pairing heap implementation anymore