Add FORCE_BRANCH experiments

These experiments bypass solver calls because we aim to
compare the efficiency of the internal data structures
used in KLEE, path-symex and our reference implementation
of native symbolic execution.