feat: MiMC vote/block (#1582)

- cometbls
  -  upgrade to https://github.com/unionlabs/cometbls/pull/76
- galois
  - now accepts a full block header as private input
- now accept a single succinct inputs hash as public input (related to
LightHeader)
  - compute the vote and the block root hash in-circuit
  - upgrade grpc to v3
  - re-generate circuit
- more comments and warnings on specific implementations of the hashing
to curve algorithm
  - fix audit issues
    - https://github.com/spearbit-audits/review-union/issues/15
    - https://github.com/spearbit-audits/review-union/issues/14
    - https://github.com/spearbit-audits/review-union/issues/13
    - https://github.com/spearbit-audits/review-union/issues/6
    - https://github.com/spearbit-audits/review-union/issues/5
    - https://github.com/spearbit-audits/review-union/issues/4
- solidity
  - upgrade cometbls zkp verifier
  - upgrade cometbls light client
- lib
  - cometbls groth16 verifier
    - upgrade 
    - optimize pairings
  - cometbls light client
    - upgrade
- voyager
  - upgrade to galois v3 grpc