Add support for more assembly

[JasonGross]

I want to be able to handle the output of gcc/clang on our C code.

Right now, I have added support for parsing the assembly output. Equivalence checking is still to come.