improved prime verification algorithm

@cg505, yes, I included a call to get-n-primes in the base-level, but
until I get a working "slime" installation, I don't think I'll be
removing that simply so I can clisp it (unless you give a better
alternative)