Add C+GMP verifier for Primo and MPU
Weber roots with D%3=0 and D%8 = {1,2,5,6,7}