Add simple benchmark for single-path symbolic execution