RandomPrimes() wasn't actually using BigIntegers; fixed.