Update dependency ut-issl/s2e-core to v8

Author: renovate[bot]

.github/workflows/build_with_s2e.yml

@@ -9,7 +9,7 @@ on:
 
 env:
   # renovate: datasource=github-releases depName=ut-issl/s2e-core
-  S2E_CORE_VERSION: v7.2.9
+  S2E_CORE_VERSION: v8.0.3
 
 jobs:
   build_s2e_win: