This adds the jqwik dependency for property based testing, like Haskell’s QuickCheck.
This finally makes the licensing under AGPL-3.0-or-later explicit after I got the okay from the kickstart source owners. This also checks the REUSE compliance in a pre commit hook, and therefore also in CI.
Co-authored-by: Simon Bruder <simon.bruder@mailbox.tu-dresden.de>