More clarity around the r = r^ed mod N congruency.

Added "mod N" where appropriate.
Replaced equals with modular congruency sign where appropriate.