feat(ivc): impl protogalaxy verify circuit mod-blank

[cyphersnake]

Motivation First part of #361

Overview Implemented ivc::protogalaxy::verify_chip module blank and signature of the verification fn, together with assignment logic