* modules/verify: New file. * lib/verify.h: New file. * MODULES.html.sh (Diagnostics <assert.h>): New section, with "verify" module.