Using undef support in Yosys SAT solver now
Added extra yosys validation script
Use -ignore_div_by_zero only in non-prove-x sat proofs