bignum: add assumption about i to bn_multiply_reduce_step
bignum: add assumption about i to bn_multiply_reduce_step

trezor/trezor-crypto,trezor/trezor-crypto,trezor/trezor-crypto,trezor/trezor-crypto,trezor/trezor-crypto