scripts: Make generate_source.py look harder for vk.xml #683

Job	Run time
codegen	22s
tools_codegen	40s
chromium	1m 42s
mingw	1m 31s
linux (gcc, g++, Debug, ubuntu-22.04)	49s
android (armeabi-v7a)	29s
linux (gcc, g++, Debug, ubuntu-22.04)	56s
android (arm64-v8a)	39s
windows (Win32, Debug, windows-latest)	2m 4s
linux (gcc, g++, Release, ubuntu-22.04)	1m 8s
linux (gcc, g++, Release, ubuntu-22.04)	1m 16s
windows (Win32, Release, windows-latest)	2m 15s
linux (clang, clang++, Debug, ubuntu-22.04)	1m 13s
windows (x64, Debug, windows-latest)	1m 10s
linux (clang, clang++, Release, ubuntu-24.04)	57s
windows (x64, Release, windows-latest)	1m 21s
mac	23m 58s
	42m 30s

Provide feedback