Add `OPTION_VERIFY` to check for null pointer dereferencing #972

Job	Run time
Install on Linux GCC	2m 8s
Clang tidy on ubuntu-22.04 (Debug)	4m 0s
Intel LLVM-based compiler	1m 49s
Install on Linux Clang	2m 4s
Clang tidy on windows-latest (Debug)	5m 49s
Linux clang 18 C++20	5m 11s
Install on Windows MSVC	4m 43s
Clang tidy on ubuntu-22.04 (Release)	5m 54s
Linux clang 18	4m 47s
Clang tidy on windows-latest (Release)	7m 0s
Linux clang 17	6m 30s
Linux clang 18 libc++	2m 43s
Linux clang 16	7m 5s
Linux clang 17 libc++	4m 29s
Windows VS v143	6m 15s
Linux clang 15	4m 48s
Linux clang 16 libc++	3m 27s
Windows VS ClangCL	15m 33s
Linux clang 15 libc++	2m 42s
Linux clang 14	5m 11s
Linux clang 13	5m 8s
Linux clang 14 libc++	3m 8s
Linux clang 12	4m 38s
Linux clang 13 libc++	3m 28s
Linux clang 11	5m 19s
Linux clang 12 libc++	2m 53s
Linux clang 10	5m 22s
Linux clang 11 libc++	2m 58s
Linux clang 9	20m 55s
Linux clang 10 libc++	2m 56s
Linux gcc 14 C++20	5m 25s
Linux clang 9 libc++	2m 44s
Linux gcc 14	9m 5s
Linux gcc 13	8m 14s
Linux gcc 12	11m 52s
Linux gcc 11	10m 17s
	3h 26m 30s

Provide feedback