Don't reset session random number generations, applications that don't
cache sessions will end up generating bad skiplists because their random
numbers will be the same on every update/insert.