add carmichael? function and test carmichael numbers