add (assumption) check #719

Job	Run time
Build and test cmake:gcc9	31s
Build and test cmake:clang15	47s
Build and test cmake:clang15:asan	48s
Build and test cmake:clang15:tsan	49s
Build and test cmake:clang15:ubsan	54s
Build and test cmake:qemu-arm-neon-gcc	1m 2s
Build and test cmake-osx:clang	38s
Build and test cmake-osx:gcc	36s
Build and test cmake-win64:msvc-rel	37s
Build and test cmake-win64:msvc-dbg	57s
Build and test fuzz:clang15	28s
Build and test python3.10:clang15	1m 44s
Build and test python3.10-win	56s
Build and test maven	37s
Build and test bazel:root	38s
Build and test bazel:go	1m 7s
Build and test bazel:java	18s
Build and test bazel:research	29s
Build and test bazel-osx:root	1m 5s
Build and test bazel-osx:go	2m 52s
Build and test bazel-osx:java	28s
Build and test bazel-osx:research	59s
Build and test bazel-win:root	1m 26s
Build and test bazel-win:java	30s
Build and test bazel-win:research	1m 11s
	22m 27s

Provide feedback