Version 0.3.1

Update minor version.

Version 0.2

Took out the phrase "correctness" in the README

There were no actual correctness bugs we fixed, mostly performance and
usability improvements.