Да, плюс для безопасности. Мы линкаем много библиотек в наши контракты и порой они накручивают кода о котором мы не хотим думать. Например serde_json содержит код для robustness, например плохо сформированный json формат, мы не расчитываем что полбзователь будет передовать нестандартный json поэтому нам безопаснее его выпилить чем аргументировать об его безопасности. У нас мало секретов в NEAR 🙂
интересно, а как вы планируете собирать code coverage? Теоретически, если user input можно весь перебрать и всё работает абсолютно детерминированно (в том числе импортные функции), то проблем быть не должно. Но обычно перебрать весь user input в общем случае нереально, наверное, у вас будут какие-то ограничения на него?