[skiplist] Consider generalizing the RNG

[ValuedMammal]

Right now SkipList uses the thread-local RNG which depends on rand (with default features enabled). This could be made more lightweight / flexible by introducing a generic R: Rng.