pub(super) fn monty_modpow(x: &BigUint, y: &BigUint, m: &BigUint) -> BigUint
Calculates x ** y mod m using a fixed, 4-bit window.