idris2: update to 0.8.0

[ryang-25]

Description

Small bump to latest 0.8.0. I haven't tested on PowerPC, but I have removed the patches merged upstream and tested on my machine. I noticed 0.7.0 broke when Chez got updated, so I am wondering if that is something that needs to be fixed.

Some failing tests (but I suspect these are upstream)

773/793 tests successful
Failing tests:
refc/buffer
refc/clock
refc/ccompilerArgs
refc/args
refc/piTypecase001
refc/issue1778
refc/garbageCollect
refc/refc002
refc/refc003
refc/prims
refc/basicpatternmatch
refc/integers
refc/strings
refc/reuse
refc/issue2424
refc/doubles
allbackends/basic048
allbackends/popen2
allbackends/evaluator004
allbackends/perf006

Type(s)

• bugfix
• enhancement
• security fix

Tested on

macOS 15.7.2 24G325 arm64
Xcode 26.1.1 17B100

Verification

Have you

• followed our Commit Message Guidelines?
• squashed and minimized your commits?
• checked that there aren't other open pull requests for the same change?
• referenced existing tickets on Trac with full URL in commit message?
• checked your Portfile with port lint?
• tried existing tests with sudo port test?
• tried a full install with sudo port -vst install?
• tested basic functionality of all binary files?
• checked that the Portfile's most important variants haven't been broken?

[macportsbot]

Notifying maintainers:
@barracuda156 for port idris2.