migrate to easy-random for Java 17+ support; update tests and tools

[tadeuqc]

Proposed Change

This pull request migrates the codebase from the deprecated random-beans library to the actively maintained easy-random (JDK 17+ fork), enabling full compatibility with Java 17 and above. All usages of random-beans have been replaced with their easy-random equivalents, and the extension, tests, and documentation have been updated accordingly. Additionally, JaCoCo and Mockito have been upgraded for Java 17 support, and test assertions have been adapted to match the new randomization behavior.

Type Of Change

What type of change does this PR introduce?

Put an x in the boxes that apply

• Bugfix (non-breaking change which fixes an issue)
• New feature (non-breaking change which adds functionality)
• Breaking change (fix or feature that would cause existing functionality to not work as expected)

Checklist

Put an x in the boxes that apply. You can also fill these out after creating the PR. If you're unsure about any of them, don't hesitate to ask. We're here to help! This is simply a reminder of what we are going to look for before merging your code.

• I have read the CONTRIBUTING doc
• All unit tests pass locally with my changes
• I have added tests that prove my fix is effective or that my feature works
• I have added necessary documentation (if appropriate)

Further Comments

I found this extension extremely useful for data-driven and randomized testing. However, the dependency on random-beans usually blocks the migration to JDK 17, as it is no longer maintained and incompatible with modern Java versions. This PR aims to make this extension still relevant for current and future Java environments by adopting easy-random, which is the direct successor and is actively maintained. All changes have been verified with a full test suite on Java 17 but im pretty sure that it'll work with newer versions too.