Function compute_high_bound

pub fn compute_high_bound(
    x: &BigUint,
    foreign_field_modulus: &BigUint,
) -> BigUint

Perform integer bound computation for high limb x’2 = x2 + 2^l - f2 - 1