Message

Use message() and verbose() rather than printf/fprintf for various compiler messages - including ```pragma(msg)```, and for verbose/verbatim output.