Improve native field extension gadget

[ivokub]

From #1493

Currently the native field extension package is very rudimentary. Improvement ideas:

• implement Square() method
• implement Inverse() and Divide() methods
• use better extensions which allow better optimizations for mul-reduce
• implement for generic extension (currently only implemented for x^n-1 and x^n-a)