Added verification of SAT model to "eval -vloghammer_report" command
Silenced a gcc warning in spice backend
Improved user-friendliness of "sat" and "eval" expression parsing