Add simple IR printer for the verifier.

[gbaraldi]

This is useful for debugging during bootstrapping.

[vtjnash]

Sounds fine, though I sort of think the full way to do this is to write a parser for the precise output that we do now (for using in a functional julia session) which converts that content back into Expr, then use the standard IR printer