JVM_IR add bytecode shape check to all relevant for-loop tests

compiler/testData/codegen/bytecodeText/forLoop/stepped/stepOne.kt

@@ -18,20 +18,6 @@ fun box(): String {
 
 // For "step" progressions in JVM IR, when the step is constant and == 1, and "step" is called on a literal progression which we already
 // know to have a step whose absolute value is 1, we can essentially ignore the "step" call.
-//
-// Expected lowered form of loop:
-//
-//   // Standard form of loop over progression
-//   var inductionVar = 1
-//   val last = 4
-//   if (inductionVar <= last) {
-//     // Loop is not empty
-//     do {
-//       val i = inductionVar
-//       inductionVar += 1
-//       // Loop body
-//     } while (inductionVar <= last)
-//   }
 
 // 0 iterator
 // 0 getStart
@@ -43,4 +29,11 @@ fun box(): String {
 // 0 NEW java/lang/IllegalArgumentException
 // 0 ATHROW
 // 1 IF_ICMPLE
-// 1 IF
+// 1 IF
+
+// JVM_IR_TEMPLATES
+// 2 ILOAD
+// 2 ISTORE
+// 0 IADD
+// 0 ISUB
+// 1 IINC