add (assumption) check #722

Job	Run time
Build and test cmake:gcc9	33s
Build and test cmake:clang15	36s
Build and test cmake:clang15:asan	58s
Build and test cmake:clang15:tsan	1m 7s
Build and test cmake:clang15:ubsan	1m 29s
Build and test cmake:qemu-arm-neon-gcc	1m 28s
Build and test cmake-osx:clang	33s
Build and test cmake-osx:gcc	36s
Build and test cmake-win64:msvc-rel	1m 56s
Build and test cmake-win64:msvc-dbg	1m 10s
Build and test fuzz:clang15	55s
Build and test python3.10:clang15	1m 44s
Build and test python3.10-win	1m 35s
Build and test maven	44s
Build and test bazel:root	1m 3s
Build and test bazel:go	1m 7s
Build and test bazel:java	23s
Build and test bazel:research	53s
Build and test bazel-osx:root	1m 46s
Build and test bazel-osx:go	1m 47s
Build and test bazel-osx:java	26s
Build and test bazel-osx:research	1m 2s
Build and test bazel-win:root	1m 36s
Build and test bazel-win:java	33s
Build and test bazel-win:research	1m 20s
	27m 20s

Provide feedback