This allows the fronted to register a dump+verify callback for the
lowering transformations performed by the backends.