[patch v4 1/1] assert: ensure posix compliance, add tests for such

[Paul Eggert]

Thanks for doing all those changes. This looks good to me.

Reviewed-by: Paul Eggert <eggert@cs.ucla.edu>