Platform Upgrade and a few Fixes

New and Enhanced Features

• Upgraded to KotlinX 1.8.0

• Upgraded to JUnit Platform 1.10.2

• Upgraded to Kotlin 1.9.22

Breaking Changes

No breaking changes

Bug Fixes

• Shrinking of strings with uniqueChars() constraint did not work properly.
  See issue 541.

• Fixed integer generation bug with uniform distribution.
  See issue 544: