Add new intrinsics for Placehloder verification circuit

[nkaskov]

Here is a new list of components to be added to assigner: https://www.notion.so/nilfoundation/List-of-recursion-components-8c136179282a454a9ede1509a91c5b4e

We also need to add intrinsics and allow researchers to use them to implement Placeholder verifier in C++ .

• fri_cosets

• fri_mask_verify

• fri_array_swap

• fri_lin_inter

• permutation_argument_verifier

• gate_argument_verifier

• lookup_argument_verifier