SystemVerilog: nested modules

This adds SystemVerilog nested modules.

Author: kroening

regression/verilog/modules/nested1.desc

@@ -0,0 +1,6 @@
+CORE
+nested1.sv
+
+^EXIT=0$
+^SIGNAL=0$
+--

regression/verilog/modules/nested1.sv

@@ -0,0 +1,11 @@
+module main;
+
+  module my_module;
+    wire [7:0] value = 123;
+  endmodule
+
+  my_module m();
+
+  assert final (m.value == 123);
+
+endmodule