BUILD: Updated version number ahead of release.
I should be making a new release soon, so I'm preparing for that.
WyCS: Candidate bug fix for inequality closure.
The rewrite rule for inequality closure was causing an infinite loop.
Hopefully, this bug fix has actually fixed it, finally.  But, I doubt it :)
WyCS: Debugging for #393