Added possibility to choose which primality test use. There's a bug with AKS that needs to be solved.