fixed bug in SkipList.cpp randHeight();