additions to correctness benchmarks
Merge branch 'insertinto' of https://github.com/apavlo/h-store into insertinto