Dispatch to concurrent/non-concurrent Miller-Rabin accordingly