smtbmc: Add --check-witness mode
smtbmc: Add --check-witness mode

This verifies that the given constraints force an assertion failure.
This is useful to debug witness trace conversion (and minimization).

YosysHQ/yosys,YosysHQ/yosys,YosysHQ/yosys,YosysHQ/yosys,YosysHQ/yosys,YosysHQ/yosys,YosysHQ/yosys,YosysHQ/yosys