how are the tests meant to work now that there is an `ifdef SIM in caravel that prevents defines.v from being read?