Time-invariant modular-exponentiation and string-equality functions

There are comments in the source-code to the effect of "we should use time-invariant exponentiation" and "we should use time-invariant string comparison" but I couldn't see a matching issue, so I'm filing one :-)
