Update test example for circt (#6694)

As the circt project has evolved over the past two years, the old
example no longer work with the current circt compiler. This commit
corrects the IR examples according to the new HW dialect, Seq dialect
definitions.

examples/circt/default.mlir

@@ -2,10 +2,10 @@
 // CIRCT example code may not always work out of the box because the textual MLIR format is not always stable.
 // The example tries to be compatible with the latest CIRCT version, using relatively stable IR.
 
-hw.module @Counter(%clock: i1, %reset: i1) -> (count: i8) {
+hw.module @Counter(in %clock: !seq.clock, in %reset: i1, out count: i8) {
   %c0_i8 = hw.constant 0 : i8
   %c1_i8 = hw.constant 1 : i8
-  %counter = seq.compreg %0, %clock, %reset, %c0_i8  : i8
+  %counter = seq.compreg %0, %clock reset %reset, %c0_i8  : i8
   %0 = comb.add %counter, %c1_i8 : i8
   hw.output %counter : i8
 }