add smart_assert to project