Add signature verification

Both the EEs are missing signature verification logic. @cdetrio has optimized secp256k1 sig verification by using websnark and using that in AS in this [branch](https://github.com/cdetrio/scout.ts/tree/secp-sig-verify). We should integrate his work into this repo.