Add symbolic execution engine (Phases 0-14) with IR binding fixes#585

kumarak merged 47 commits into

maintrailofbits/multiplier:mainfrom

feature/symbolic-executiontrailofbits/multiplier:feature/symbolic-executionCopy head branch name to clipboard