Add tests for commits:
- Add "wreduce -keepdc";
- Add "fmcombine -initeq -anyeq";
- Add "stat -tech xilinx";
- Add "synth_xilinx -arch".