Provide require message for negative widths (backport #4008) (#4009)

* Provide require message for negative widths (#4008)

(cherry picked from commit 751a4cf)

# Conflicts:
#	core/src/main/scala/chisel3/Width.scala

* Resolve backport conflicts

---------

Co-authored-by: Jack Koenig <koenig@sifive.com>

core/src/main/scala/chisel3/internal/firrtl/IR.scala

@@ -241,7 +241,7 @@ sealed case class UnknownWidth() extends Width {
 }
 
 sealed case class KnownWidth(value: Int) extends Width {
-  require(value >= 0)
+  require(value >= 0, s"Widths must be non-negative, got $value")
   def known: Boolean = true
   def get:   Int = value
   def op(that: Width, f: (W, W) => W): Width = that match {

src/test/scala/chiselTests/UIntOps.scala

@@ -479,4 +479,9 @@ class UIntOpsSpec extends ChiselPropSpec with Matchers with Utils {
     chirrtl should include("y <= a")
     chirrtl should include("z <= b")
   }
+
+  property("UInts with negative widths should have a decent error message") {
+    val e = the[IllegalArgumentException] thrownBy (UInt(-8.W))
+    e.getMessage should include("Widths must be non-negative, got -8")
+  }
 }