feat (batcher): verify gnark proofs

[taturosati]

Batcher should verify gnark proofs before it receives before adding them to the batch (to avoid failed batches).

For this to work we will need to add ffi wrapper for go verifiers.