field: Verify field element even after secp256k1_fe_set_b32 fails

Author: real-or-random

src/field_10x26_impl.h

@@ -372,6 +372,7 @@ static int secp256k1_fe_set_b32(secp256k1_fe *r, const unsigned char *a) {
         secp256k1_fe_verify(r);
     } else {
         r->normalized = 0;
+        secp256k1_fe_verify(r);
     }
 #endif
     return ret;

src/field_5x52_impl.h

@@ -347,6 +347,7 @@ static int secp256k1_fe_set_b32(secp256k1_fe *r, const unsigned char *a) {
         secp256k1_fe_verify(r);
     } else {
         r->normalized = 0;
+        secp256k1_fe_verify(r);
     }
 #endif
     return ret;