Utility routines for pretty-printing error messages.
Pretty-print a Cranelift error.
Pretty-print a verifier error.