Is your claim that a release which introduces bad algorithmic complexity requires a major release to fix in semver? Who thinks this?