satisfies with local version identifies incorrectly returning true

[rarkins]

Describe the bug

satisfies('1.0.0+2', '==1.0.0+1' currently returns true, but should return false.
satisfies('1.0.0+2', '==1.0.0' currently returns true, but should return false.

Per the pep440 description in https://peps.python.org/pep-0440/#version-matching:

If the specified version identifier is a public version identifier (no local version label), then the local version label of any candidate versions MUST be ignored when matching versions.

If the specified version identifier is a local version identifier, then the local version labels of candidate versions MUST be considered when matching versions, with the public version identifier being matched as described above, and the local version label being checked for equivalence using a strict string equality comparison.

Steps to reproduce

Unit tests

Additional context

renovatebot/renovate#34101 (reply in thread)