Verilog: return values during expression type checking

convert_expr_rec, and the methods for various expressions, now return a
value, instead of changing an expression via a reference.

Author: kroening