Bump jqwik from 1.6.5 to 1.7.2

[dependabot]

Bumps jqwik from 1.6.5 to 1.7.2.

Release notes

Sourced from jqwik's releases.

Performance, Bugs and Small Things

New and Enhanced Features

• Introduced Arbitrary.ignoreExceptions(exType1, exType2, ...).

• Introduced @Provide(https://github.com/jlink/jqwik/blob/HEAD/ignoreExceptions = {<ExceptionType>}) attribute, which allows to ignore exceptions in provider methods in a simple way.

• Introduced Footnotes.addAfterFailure(Supplier<String>). See #310.

• Fixed quite a few performance and memory issues by means of merging pull requests from vlsi. Thanks a lot!

• All methods of net.jqwik.api.Arbitrary and subtypes now have @CheckReturnValue annotation. That means you will get a warning from your IDE if you don't use the result of an arbitrary method, given that you have org.jetbrains:annotations as a compile-time dependency.

• Upgrade to Kotlin 1.8.0

Breaking Changes

• Renamed ChainArbitrary.addTransformation(..) to ChainArbitrary.withTransformation(..)

• Renamed ActionChainArbitrary.addAction(..) to ActionChainArbitrary.withAction(..)

Bug Fixes

• Fixed bug that included never executed actions in chains. See #426.

• Fixed bug when generating list of consumers. See #446.

Kotlin extensions and a bit of polishing

New and Enhanced Features

• Upgrade to Kotlin 1.7.20

• Added filtering to Combinators. See jlink/jqwik#329.

• Added Chain.transformers() and ActionChain.transformers() to retrieve the list of applied Transformer instances in a chain.

• Added the capability to check statistical coverage of regex patterns.

... (truncated)

Commits

• c296e16 Set version to 1.7.2
• b0f6427 Upgraded Kotlin version to 1.8.0
• 7195478 Updated TODO for future versions
• e81c368 Bump com.github.vlsi.gradle-extensions.gradle.plugin from 1.84 to 1.85
• 50b6b13 Bump assertj-core from 3.23.1 to 3.24.1
• a429543 Optimized evaluation of transformer shrinkables
• c79f419 Minor renamings in ShrinkingDistanceArraysSupport
• f692909 Fixed bug jlink/jqwik#446
• 7b295ad Added bug example for jlink/jqwik#446
• 49a3404 Bump org.jetbrains.kotlin.jvm from 1.7.22 to 1.8.0
• 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 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)