Bump version number to help with bug reports

The new resolver is a significant change in behavior so it's
useful to know when people report problems.