feat(ecc): Weierstrass affine curves over complex fields

[jonathanpwang]

Refactored the macros so that:

• Derivation of Group and core ops from WeierstrassPoint is in a re-usable macro.

• WeierstrassPoint is separate from FromCompressed trait

• New macro that implements WeierstrassPoint on AffinePoint wrapper using only field intrinsics instead of curve intrinsics: this is necessary for complex curves because we do not yet have intrinsics for curve operations over non-prime fields.

• Unit tests

Not included but I wish to do in the future:

• Field should really extend IntMod, but IntMod has some stuff that is specific to modular integers. I want to split IntMod into IntegralDomain + ModularInteger and then Field is just an empty extension of IntegralDomain that you implement when you're sure the ring is a field. The functions more specific to our intrinsic implementation go into ModularInteger.