Support dynamic arithmetization parameters

[akokoshn]

After moving atirhmetization out of template parameters in crypto3-zk - https://github.com/NilFoundation/crypto3-zk/issues/286 we can allow dynamic size of assignment table. Number of columns should be calculated at runtime.

Need to update binary tools:

• assigner
• transpiler
• recursive_gen

Blocked by: https://github.com/NilFoundation/zkllvm-assigner/issues/187