Fix TEE_BigIntMulMod

Please check indentation.