Merge pull request #329 from diffblue/verilog-expr-assert

use PRECONDITION instead of assert(...) in verilog_expr.h

Author: tautschnig