Small DynVar changes.
Preliminary clang AST parser plugin
Work on main branch - have skeleton of plugin working now.
Complete rewrite of SMT core.
IT BUILDS!!!!
Optimizations, etc.
Unordered
Ordered map
Allow selecting unordered vs ordered maps at compile time