Add ECDSA signature verification

Also factored out `tHash` from signing.
Rename `ECC` -> `ECC.Prim` following RSA convention
Replace `Nothing`s with `PointO` in ECDSA operations.

Also replaced `^2` by squaring over F2m for Binary curves.
Add ECDSA singature generation
Add tests for ECDSA