prime field power check with exponentiation_gadget()

[vadym-f]

Base field declared as my_Fp for parent gadget() class prevents verifying exponentiation in a base (prime) field.

For prime fields, it could be explicitly defined that base field is the field given (as template parameter), to complement base field definitions (my_Fp) for extensions like Fp2_model.