Update to Unicode16.0.0 + misc

[wismill]

Mega update:

• Update the generator to be able to process Unicode 16.0
• Update CI with latest GHC
• Update to Unicode 16.0.0
• Fix tests
• Bump packages versions

Fixes#137
Fixes#138

I will publish a new version once this get merged.

PS: Sorry for the big MR, it’s easier for me this time.

@adithyaov

[adithyaov]

@wismill Welcome back! Thank you for the PR. I'll start reviewing the PR soon.
Do you recommend I review it commit by commit or look at the entire diff at once?

From: #138 (comment)

I am still a bit uneasy there could be still some hard-coded bits in ucd2haskell that assume all values can be encoded as Word8

Do you have a suspicion of where these bits might be? I can go through those parts more throughly

[wismill]

Do you recommend I review it commit by commit or look at the entire diff at once?

Commit by commit, unless you feel adventurous 😉

I am still a bit uneasy there could be still some hard-coded bits in ucd2haskell that assume all values can be encoded as Word8

Do you have a suspicion of where these bits might be? I can go through those parts more throughly

It's difficult to describe unfortunately. I did try to put some guards, but some conversions may be silently lossy, e.g. with fromIntegral.

[wismill]

Minor refactor + doc. I transformed assertions into mandatory tests in the generator, so we do not skip them if using -O2.

[wismill]

Rebased.

[adithyaov]

@wismill I'll review the PR over the weekend.
We're in the process of releasing streamly. A lot of my time is going to misc release todos.

[wismill]

Since Unicode 17.0 has been published, let’s merge this to enable fixing #143.

I will publish the new versions shortly after.

[wismill]

Candidates:

• unicode-data-0.7.0
• unicode-data-names-0.5.0
• unicode-data-scripts-0.5.0
• unicode-data-security-0.5.0