Define an API for IR verification

[AttilaMihaly]

Is your feature request related to a problem? Please describe. While we have a preliminary implementation that verifies Morphir IR through Bosque we do not have a formal description for the API of the functionality.

Describe the solution you'd like We would like to have a fully defined API that makes it easy for consumers to build integrations with the verification functionality.

Additional context We need the API to allow arbitrary annotations on each value node in the IR and also to return the same annotations as part of any error messages that the API might return.