Optimise relations in Honk Solidity verifier

[maramihali]

Now they are a copy of the C++ relations, which makes debugging easier. But they have a lot of variables and Solidity puts a limit on the number of variables you can have in a function.