Given a bigint a, returns a normalized value of a.
the value to normalize
the normalized value of a
r is 'r' is the alt_bn128 prime order, so we can use it to normalize values
Given a bigint a, returns a normalized value of a.