Add a warning about the usage of the montgomery functions (if the inputs

are not reduced modulo m, the outputs won't be either).