Finish core IR definition, parsing, and write to .dot graph

This MR finishes the core IR definition and parsing. Prototype serializing to .dot graph for visualizing. Parallel matmul example.