Merge pull request #736 from whitequark/select_assert_list

select: print selection if a -assert-* flag causes an error

diff --cc backends/verilog/verilog_backend.cc
Simple merge