Added more tests to Rabin-Miller algo.