mp_integer: finish implementation of multiply_accumulate and add a bunch of todos/ideas.