CI(full),CI(release): Python bindings: (#2100)

- Switched to the ubuntu-24.04-arm runner
- Bumped Windows runner to windows-2022 and Visual Studio 17 2022 GENERATORS
- Minor changes about checks in workflow jobs
- Fixed the pagefile job (even though should not be really needed)
- Refreshed the TO BE CHECKED regress tests to either update or remove the skip conditions
- Added a test to check if the created sdist archive is ok

tests/regress/core_ctl.py

@@ -44,7 +44,7 @@ class TestCtl(regress.RegressTest):
         self.assertEqual(UC_CPU_ARM_CORTEX_M0, uc.ctl_get_cpu_model())
 
     @unittest.skipIf(sys.version_info < (3, 7), reason="requires python3.7 or higher")
-    @unittest.skipIf(sys.platform == 'win32' or platform.machine().lower() not in ('x86_64', 'arm64'), 'TO BE CHECKED!')
+    @unittest.skip('TO BE CHECKED!')
     def test_page_size(self):
         SIZE_4KB = 4 * 1024 ** 1
         SIZE_2MB = 2 * 1024 ** 2
@@ -78,7 +78,6 @@ class TestCtl(regress.RegressTest):
         # are we still with the valid value?
         self.assertEqual(SIZE_2MB, uc.ctl_get_page_size())
 
-    @unittest.skipIf(platform.machine().lower() == 'aarch64', reason='TO BE CHECKED!')
     def test_timeout(self):
         MILLIS_1S = 1000