Implement fixed width modular multiplication

[yanesca]

Prerequisites: #6017

Implement fixed width modular multiplication. The _mod_raw version should take a caller-managed buffer for the temporary buffer. The _mod version should allocate, pass and then free the temporary buffer.

Both functions should only handle the case when the modulus advertises Montgomery representation. (The fast reduction case will be added in #6025).