Test cases for Yosys+Verific (mostly using SymbiYosys)