rlutz netlist: Add tests for `tedax' backend