Hint function enhancements

[katat]

• Evaluate constant values from IR terms in order to synthesize for forloop range, repeated array etc.
• Support logging in hint functions. (Might need to be refactor to merge the existing logging logic into the same places and format.)
• Support constant folding using hint function in mast phase, so complex calculations can be applied to constant values and used to instantiate functions.
• Added builtin operators in hint functions: /(division), **(power), <<(left shift), %(modulus)
• Allow expressions in ifelse block. (for constraint mode as well)
• Print out warning instead of throwing error if the witness value is of HintIR type. This is because the evaluated hint value is used as a constant to instantiate a generic function instead of directly being a variable on the circuit.