[Crypto] misc updates

[tarakby]

Protocol improvement:

• In VSS, make sure each participant checks that the verification vector has all elements in the correct subgroup. In BLS12 381, there might be an argument that E_2 membership checks are enough, but G_2 memberships are definitely safer and consistent with the protocol description. This comes with extra performance overhead (t extra G_2 checks) for each verification vector reception.

C improvement:

• add sanity check for type size comparisons: Flow crypto defines internal C types that should match other BLST internal C types. The size comparison explicitly checks the type matching so that future BLST versions breaking changes can be caught easily.
• serialization macro definition improvement

Go improvement:

• clean up cgo flags

[codecov-commenter]

Codecov Report

Patch coverage has no change and project coverage change: -2.43% ⚠️

Comparison is base (6bb393c) 53.70% compared to head (14c9e3d) 51.28%.

Additional details and impacted files

@@                      Coverage Diff                      @@
##           feature/blst-based-crypto    #4681      +/-   ##
=============================================================
- Coverage                      53.70%   51.28%   -2.43%     
=============================================================
  Files                            857      688     -169     
  Lines                          79948    61583   -18365     
=============================================================
- Hits                           42940    31584   -11356     
+ Misses                         33612    27478    -6134     
+ Partials                        3396     2521     -875     

Flag	Coverage Δ
unittests	51.28% <ø> (-2.43%)	⬇️

Flags with carried forward coverage won't be shown. Click here to find out more.

see 173 files with indirect coverage changes

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.