dns_random(): cast result to int to avoid conversion to long
set_seed(): range check the seed string
use os.urandom() to seed the SURF generator [per Eric Huss]