Merge pull request #2168 from whitequark/assert-unused-exprs

Use (and ignore) the expression provided to log_assert in NDEBUG builds

diff --cc frontends/verific/verific.cc
Simple merge

diff --cc kernel/log.h
Simple merge

diff --cc passes/opt/opt_expr.cc
Simple merge