CI: Reverting the version (to a lower number) should fail the version bump check

[jschwe]

#670 was a revert PR, that also reverted the version number. I'm leaning towards that we probably want to fail CI in such cases and require bumping the number.