Avoid field inverse for r == x comparison

As suggested by @gmaxwell. This seems to give a 3% speedup for verification.

Builds on top of #119.
Here you say `n` but every time afterward you say `order`. IMHO they should all be `n`.