disable verbose logging in cidart::DartVM by default. updated todo comment