Convenient primality proof random test