[v3] Rewrite VERIFY, remove 'test' variables

[Paolo Carlini <paolo dot carlini at oracle dot com>]

Hi,

we have a very long standing issue with the obscure 'test' variables 
which we always have to remind our contributors to add to the testcases 
due to the definition of VERIFY. in testsuite_hooks.h and nonetheless is 
still missing in some cases. The below rewrites VERIFY consistently with 
the code we have been using for many years for debug-mode and starts 
cleaning up the testsuite wrt the 'test' variables: this can be done 
incrementally, I mean to complete the work over the next weeks 
(unfortunately isn't *always* trivial to do, because a 'test' variable 
is actually assigned and exploited by some testcases, its address taken, 
etc)

Tested x86_64-linux.

Thanks, Paolo.

///////////////////////////

Attachment: CL_verify_1
Description: Text document

Attachment: patch_verify_1
Description: Text document