Move ArithmetizationParams out of templates and into runtime parameters

[Iluvmagick]

This allows us to dynamically resize the tables as needed, increasing both the ease-of-use (in e.g. compiler) and enabling related dynamic optimizations.