Add diff comparer
Minimal low-level IR verifier
Parametrized test utility
Value tracking visitor
Add llvm code generator