Secure, efficient, simple random session token generation