Implement new policy for VERIFY_CHECK and #ifdef VERIFY (issue #1381) #62

Job	Run time
SageMath prover	1m 0s
x64 (MSVC): Windows (VS 2022, shared)	3m 17s
x64 (MSVC): Windows (VS 2022, static)	3m 21s
x64 (MSVC): Windows (VS 2022, int128_struct)	3m 18s
x64 (MSVC): Windows (VS 2022, int128_struct with __(u)mulh)	3m 16s
x86 (MSVC): Windows (VS 2022)	3m 10s
x64 (MSVC): C++ (public headers)	26s
x86_64: macOS Ventura (int64, yes, yes, yes, yes)	56s
x86_64: macOS Ventura (int64, yes, yes, yes, yes, gcc)	36s
x86_64: macOS Ventura (int128_struct, 2, 4)	2m 30s
x86_64: macOS Ventura (int128, yes, yes, yes)	3m 10s
x86_64: macOS Ventura (int128, yes, yes)	2m 12s
x86_64: macOS Ventura (int128, yes, yes, yes, yes, gcc)	1m 10s
x86_64: macOS Ventura (int128, yes, yes, yes, yes, -DVERIFY)	2m 49s
x86_64: macOS Ventura (distcheck)	3m 33s
	34m 44s

Provide feedback