Add test for ABC/Verilog counterexample ordering
Add test for ABC/Verilog counterexample ordering

GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script