add (assumption) check #723

Job	Run time
Build and test cmake:gcc9	28s
Build and test cmake:clang15	31s
Build and test cmake:clang15:asan	1m 35s
Build and test cmake:clang15:tsan	1m 0s
Build and test cmake:clang15:ubsan	1m 42s
Build and test cmake:qemu-arm-neon-gcc	1m 7s
Build and test cmake-osx:clang	35s
Build and test cmake-osx:gcc	47s
Build and test cmake-win64:msvc-rel	1m 7s
Build and test cmake-win64:msvc-dbg	38s
Build and test fuzz:clang15	32s
Build and test python3.10:clang15	3m 17s
Build and test python3.10-win	1m 32s
Build and test maven	41s
Build and test bazel:root	1m 27s
Build and test bazel:go	1m 8s
Build and test bazel:java	20s
Build and test bazel:research	26s
Build and test bazel-osx:root	1m 37s
Build and test bazel-osx:go	1m 42s
Build and test bazel-osx:java	31s
Build and test bazel-osx:research	1m 1s
Build and test bazel-win:root	1m 11s
Build and test bazel-win:java	28s
Build and test bazel-win:research	1m 8s
	26m 31s

Provide feedback