Add Rabin-Miller test