Initial comparison of internal data structures

A simple benchmark to get a first glimpse at potential performance
characteristics of native symbolic execution. To measure these
things we avoid SAT/SMT solver calls; instead we want to understand
the overhead of symbolic execution itself.