Refactor Miller-Rabin primality test
Fully working BigUint POW