Update ONNX runtime to 1.20 to support CUDA 12.x

Author: gsvgit

VSharp.Explorer/VSharp.Explorer.fsproj

@@ -49,7 +49,7 @@
 
     <ItemGroup>
         <PackageReference Update="FSharp.Core" Version="7.0.*" />
-        <PackageReference Include="Microsoft.ML.OnnxRuntime" Version="1.16.3" />
+        <PackageReference Include="Microsoft.ML.OnnxRuntime" Version="1.20.0" />
         <PackageReference Include="System.Numerics.Tensors" Version="8.0.0" />
     </ItemGroup>
 </Project>