Introduce a new `LoopPropertiesType(Strict)` compiler step (#1213) #4576

Job	Run time
test (macos-latest, clang, clang++, static, sh, macos/llvm)	4m 37s
test (macos-latest, clang, clang++, shared, sh)	3m 5s
test (macos-latest, gcc-13, g++-13, static, sh)	8m 59s
test (ubuntu-latest, clang, clang++, static, sh, linux/llvm)	6m 45s
test (ubuntu-latest, gcc, g++, static, sh, linux/gcc)	7m 19s
test (ubuntu-latest, clang, clang++, shared, sh)	6m 13s
test (ubuntu-latest, gcc, g++, shared, sh)	6m 35s
test (windows-latest, static, pwsh, windows/msvc)	10m 20s
test (windows-latest, shared, pwsh)	9m 28s
test (ubuntu-latest, clang, clang++, static, sh, -DJSONTOOLKIT_ADDRESS_SANITIZER:BOOL=ON)	9m 12s
test (ubuntu-latest, clang, clang++, static, sh, -DJSONTOOLKIT_UNDEFINED_SANITIZER:BOOL=ON)	7m 37s
	1h 20m 10s

Provide feedback