CXXRTL, a Yosys Simulation Backend