Some improvements to partsel tests
Added modelsim error handling
Using yosys "synth" command