Implementations of ModMul and ModMulAssign, for multiplying a vector by a scalar modulo a number.
ModMul
ModMulAssign