fixed bug in reifier. symexe.v should now build
Merge branch 'master' of github.com:PrincetonUniversity/VST