Add Assume macro #864

Job	Run time
Linux-gcc-14	1m 6s
Mac-os-aarch64-cctools	2m 5s
Android (21.4.7075529)	2m 59s
Linux-musl (travis-core-linux-musl)	1m 23s
Android (16.1.4479499)	4m 47s
Android (26.1.10909125)	2m 14s
Linux-musl (travis-core-linux-musl-apicheck)	1m 25s
Mac-os-cctools	2m 9s
Windows-mingw (win32)	1m 35s
Linux-musl (travis-core-linux-musl-aarch64)	1m 27s
Windows-mingw (x64)	1m 32s
Windows-visual-studio (Win32)	1m 23s
Windows-visual-studio (x64)	1m 23s
Windows-visual-studio (ARM)	1m 30s
Windows-visual-studio (ARM64)	1m 22s
Mac-os-universal-cctools	7s
Notify-success	1s
	28m 28s

Provide feedback