Convert DIV/MOD to UDIV/UMOD using assertions

[EgorBo]

Closes #94218

static int Test(int i)
{
    if (i < 4) return 0;
    return i / 4;
}

; Method Benchmarks:Test(int):int (FullOpts)
       cmp      ecx, 4
       jge      SHORT G_M33641_IG05
       xor      eax, eax
       ret      
G_M33641_IG05:
       mov      eax, ecx
-      sar      eax, 31
-      and      eax, 3
-      add      eax, ecx
-      sar      eax, 2
+      shr      eax, 2
       ret      
-; Total bytes of code: 22
+; Total bytes of code: 14

[ghost]

Tagging subscribers to this area: @JulieLeeMSFT, @jakobbotsch
See info in area-owners.md if you want to be subscribed.

Issue Details

---

Closes #94218

Author:	EgorBo
Assignees:	EgorBo
Labels:	area-CodeGen-coreclr
Milestone:	-

[EgorBo]

@AndyAyersMS @dotnet/jit-contrib PTAL, diffs are not too big, I think I saw in some places in BCL we explicitly add (uint) cast for better CQ so this PR should allow to use that hack less often. Currently, it doesn't support long because we don't create assertions for those (I'll look separately if I can cheaply enable them) as these assertions mainly focus on bound checks.

Also, I remove GTF_DIV_BY_CNS_OPT as it doesn't seem to have any value to occupy a flag.

[EgorBo]

Failure is #86019