[Feature] Improve console function error messages

[collinc97]

🚀 Feature

Console functions like console.assert will fail inside a leo main() function.

They produce the following error.

Setup Starting...
     Setup     --> "/home/batman/simple-console-1/src/main.leo": 4:5
     |
   4 |      console.assert(c == b + a);
     |      ^^^^^^^^^^^^^^^^^^^^^^^^^^^
     |
     = console.assert() failed to evaluate. This error is caused by empty input file values
thread 'main' panicked at 'called `Result::unwrap()` on an `Err` value: SynthesisError(Unsatisfiable)'

This error message should be improved to highlight that console functions do not create constraints in the circuit and should only be used in a testing context.

[damirka]

It is odd, but calling setup over this case does not guarantee error (~40% chance of success). Still digging, will post updates once I figure out what exactly happens.

UPD

• if setup was first called on a main without console.assert and then re-run with added console.assert(c == a+b), results are not persistent.
• leo clean on new function makes everything right, but if conditions above are met, then result is unpredictable - can setup successfully or fail