Add simple benchmarks for sequential symbolic execution