Add secp256k1_fe_verify in field_5x52_impl and use it everywhere

Adapt @peterdettman's verify function (taking the magnitude leniency factor 2 into account), and use it as consistency check everywhere.