Updated docs on primality testing after recent changes.