Optimize verification: avoid field inverse

Suggested by Greg Maxwell.
Add explanation about how inversion can be avoided
Merge pull request #123

13278f6 Add explanation about how inversion can be avoided (Pieter Wuille)
ce7eb6f Optimize verification: avoid field inverse (Pieter Wuille)