Check primality of Wilson and Wieferich primes before returning `true`

[kenany]

Currently, if they match the formula but are not prime, true will still be returned.