add (assumption) check #720

Job	Run time
Build and test cmake:gcc9	27s
Build and test cmake:clang15	37s
Build and test cmake:clang15:asan	49s
Build and test cmake:clang15:tsan	48s
Build and test cmake:clang15:ubsan	52s
Build and test cmake:qemu-arm-neon-gcc	2m 45s
Build and test cmake-osx:clang	39s
Build and test cmake-osx:gcc	1m 9s
Build and test cmake-win64:msvc-rel	38s
Build and test cmake-win64:msvc-dbg	38s
Build and test fuzz:clang15	1m 20s
Build and test python3.10:clang15	2m 13s
Build and test python3.10-win	1m 6s
Build and test maven	43s
Build and test bazel:root	49s
Build and test bazel:go	1m 32s
Build and test bazel:java	21s
Build and test bazel:research	1m 2s
Build and test bazel-osx:root	1m 4s
Build and test bazel-osx:go	1m 53s
Build and test bazel-osx:java	24s
Build and test bazel-osx:research	1m 10s
Build and test bazel-win:root	59s
Build and test bazel-win:java	25s
Build and test bazel-win:research	46s
	25m 9s

Provide feedback