(Xronos) Testbenches now handles different clock domains