Support ranging over integers in compiler

[roman-khimov]

Is your feature request related to a problem? Please describe.

Go 1.22 feature:

       {
               "range",
               `func F%d() int {
                       sum := 0
                       arr := []int{1, 2, 3}
                       for i := range 3 {
                               sum += arr[i] 
                       }
                       return sum
               }
               `,
               big.NewInt(6),
       },

leads to

                                --- Expected
                                +++ Actual
                                @@ -3,3 +3,3 @@
                                  abs: (big.nat) (len=1) {
                                -  (big.Word) 6
                                +  (big.Word) 1
                                  }

Describe the solution you'd like

Add support for it.

[AnnaShaleva]

And update example contracts, ref. https://github.com/nspcc-dev/neo-go/pull/3605#discussion_r1793761361.