Get native values efficiently in bigfield `operator==`

[codygunton]

[suyash67]

Not worth doing because native modular reduction is negligibly cheaper than any of the circuit code.