Add proper assert.
Dump only if value printing was enabled. Add assertion.
Expand 'properly' VPAuto into whatever the value printer synthesizer desided to do.
Inconsistently to named macros with return stmts we don't print the result of unnamed macros.