Add more assertions #822

Job	Run time
linux_128bit	10m 35s
linux_clang (ubuntu-latest, Debug)	6m 1s
linux_gcc (ubuntu-latest, Debug)	4m 43s
linux_clang_mpopcnt (ubuntu-latest, Debug)	6m 28s
linux_clang (ubuntu-latest, Release)	2m 47s
linux_gcc (ubuntu-latest, Release)	1m 20s
linux_clang_mpopcnt (ubuntu-latest, Release)	2m 42s
linux_gcc_mpopcnt (ubuntu-latest, Debug)	4m 30s
linux_gcc_mpopcnt (ubuntu-latest, Release)	1m 40s
linux_gcc_sanitizers	3m 6s
linux_gcc_valgrind	1m 29s
macos_clang (macos-latest, Debug)	3m 4s
windows_mingw64 (windows-latest, Debug)	10m 15s
windows_msvc2022	2m 37s
windows_msvc2022_POPCNT	2m 54s
windows_mingw64 (windows-latest, Release)	4m 9s
macos_clang (macos-latest, Release)	1m 5s
	1h 9m 25s

Provide feedback