changes to correctness demo
Merge branch 'insertinto' of github.com:apavlo/h-store into insertinto