speed up CI by disabling logging and VCD generation