Pass arithmetization parameters to the cmake function assigner_ir

switch assigner and blueprint to master

Move aritmetization params to CMake

add lookup tables into binary file

Add exit_check to shift example

Update proof producer SHA to fit new binary format

Fix handling next_prover and gate indexes

Self hosted runners changed to the AWS autoscaling instances.

Add tests

Rename copy constraints witness/constant variables for local rows