check-ns can take a :trace kw argument for basic tracing.