Randomized Primality Testing on the Tech Tree