Optimize verification: avoid field inverse

Suggested by Greg Maxwell.
Add explanation about how inversion can be avoided
weak normalization
Weak normalization for secp256k1_fe_equal