- Fix abc_model.v to abc9_model.v in techlibs paths;
- synth_xilinx. Add tests for new options;
- synth_ecp5. Add tests for new options;
- Expand coverage for synth_dsp command;