revised microbenchmarks
Merge branch 'master' of https://github.com/Berkeley-Correctness-Group/Jalangi-Berkeley