Introduce a new `LoopPropertiesType(Strict)` compiler step #4575

Job	Run time
test (macos-latest, clang, clang++, static, sh, macos/llvm)	3m 58s
test (macos-latest, clang, clang++, shared, sh)	3m 17s
test (macos-latest, gcc-13, g++-13, static, sh)	9m 24s
test (ubuntu-latest, clang, clang++, static, sh, linux/llvm)	6m 43s
test (ubuntu-latest, gcc, g++, static, sh, linux/gcc)	7m 42s
test (ubuntu-latest, clang, clang++, shared, sh)	6m 45s
test (ubuntu-latest, gcc, g++, shared, sh)	7m 13s
test (windows-latest, static, pwsh, windows/msvc)	9m 50s
test (windows-latest, shared, pwsh)	9m 15s
test (ubuntu-latest, clang, clang++, static, sh, -DJSONTOOLKIT_ADDRESS_SANITIZER:BOOL=ON)	9m 8s
test (ubuntu-latest, clang, clang++, static, sh, -DJSONTOOLKIT_UNDEFINED_SANITIZER:BOOL=ON)	7m 2s
	1h 20m 17s

Provide feedback