WASSERT should have the do/while statement wrap the entire if-statement

[rwy7]

In the definition of WASSERT, the do-while should wrap the entire macro expansion, to avoid polluting external control-flow. Here's some weird code that compiles.