Quoth Alfredo Ortega <ortegaalfredo@gmail.com>:
> I added 10000+ checks so far, in about 4 or 5 hs. Final count will
> likely be close to a million.

The following code will add more checks per hour:

	while true; do echo 'assert(sizeof(int) < SIZE_MAX)'; done

It will also be more useful than the tool you posted, since
the checks will be guaranteed harmless, and may be easily
optimized away by the compiler.

(I have been trolled)