Bump jqwik.version from 1.8.5 to 1.9.0

[dependabot]

Bumps jqwik.version from 1.8.5 to 1.9.0.
Updates net.jqwik:jqwik-api from 1.8.5 to 1.9.0

Release notes

Sourced from net.jqwik:jqwik-api's releases.

Kotlin 2.0 and Nullability Annotations

New and Enhanced Features

• Upgraded to Kotlin 2.0.0

• Upgraded to JUnit Platform 1.10.3

Breaking Changes

• StatisticsCoverage.checkQuery(Predicate<? super List<?>> query): query is now of type Predicate<? super List<?>> instead of Predicate<? super List<Object>>.

• Nullability annotations have been added to many API methods and interfaces. This could lead to compile-time warnings or errors in your code if you are using tool chains that validate those.

• UniqueElements.by() now requires a Class<? extends Function<? extends @Nullable Object, ?>> instead of a Class<? extends Function<?, Object>>.

Bug Fixes

• Tools like CheckerFramework did not play well with jqwik's (wrong) usage of @Nullable on type variables. This has been fixed. See issue 575 for details. Thanks to vlsi for working out all the nitty, gritty details!

• Fixed type matching bug as revealed in this comment

Commits

• 0b6404d Prepared release 1.9.0
• a5c6e1e Upgraded to JUnit Platform 1.10.3
• 3711f6d Rollback to Mockito 4.11 because of support for Java 8
• 40707ac Update documentation for Kotlin 2 compiler
• b0f7f48 Update Mockito to 5.11.0
• 52d2744 Switch Sonatype publishing to user token instead of user/pw credentials
• 48d0961 Make build of Kotlin module work with Java 8 again
• bf26aca Added explicit java compilation target for Kotlin build
• 207f5f0 Some clean up work in Kotlin module tests
• 5baa7ce Got rid of remaining compiler/IDE warnings in Kotlin module
• Additional commits viewable in compare view

Updates net.jqwik:jqwik-engine from 1.8.5 to 1.9.0

Release notes

Sourced from net.jqwik:jqwik-engine's releases.

Kotlin 2.0 and Nullability Annotations

New and Enhanced Features

• Upgraded to Kotlin 2.0.0

• Upgraded to JUnit Platform 1.10.3

Breaking Changes

• StatisticsCoverage.checkQuery(Predicate<? super List<?>> query): query is now of type Predicate<? super List<?>> instead of Predicate<? super List<Object>>.

• Nullability annotations have been added to many API methods and interfaces. This could lead to compile-time warnings or errors in your code if you are using tool chains that validate those.

• UniqueElements.by() now requires a Class<? extends Function<? extends @Nullable Object, ?>> instead of a Class<? extends Function<?, Object>>.

Bug Fixes

• Tools like CheckerFramework did not play well with jqwik's (wrong) usage of @Nullable on type variables. This has been fixed. See issue 575 for details. Thanks to vlsi for working out all the nitty, gritty details!

• Fixed type matching bug as revealed in this comment

Commits

• 0b6404d Prepared release 1.9.0
• a5c6e1e Upgraded to JUnit Platform 1.10.3
• 3711f6d Rollback to Mockito 4.11 because of support for Java 8
• 40707ac Update documentation for Kotlin 2 compiler
• b0f7f48 Update Mockito to 5.11.0
• 52d2744 Switch Sonatype publishing to user token instead of user/pw credentials
• 48d0961 Make build of Kotlin module work with Java 8 again
• bf26aca Added explicit java compilation target for Kotlin build
• 207f5f0 Some clean up work in Kotlin module tests
• 5baa7ce Got rid of remaining compiler/IDE warnings in Kotlin module
• Additional commits viewable in compare view

Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting @dependabot rebase.

---

Dependabot commands and options

You can trigger Dependabot actions by commenting on this PR:

• @dependabot rebase will rebase this PR
• @dependabot recreate will recreate this PR, overwriting any edits that have been made to it
• @dependabot merge will merge this PR after your CI passes on it
• @dependabot squash and merge will squash and merge this PR after your CI passes on it
• @dependabot cancel merge will cancel a previously requested merge and block automerging
• @dependabot reopen will reopen this PR if it is closed
• @dependabot close will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually
• @dependabot show <dependency name> ignore conditions will show all of the ignore conditions of the specified dependency
• @dependabot ignore this major version will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)
• @dependabot ignore this minor version will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)
• @dependabot ignore this dependency will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)