databases/mongodb80: 8.0.9

Changes:
https://www.mongodb.com/docs/v8.0/release-notes/8.0/#8.0.9---may-1--2025

Announcement:
https://www.mongodb.com/community/forums/t/mongodb-8-0-9-is-released/321462?u=r_k

- refactored do-configure to use HAS_CONFIGURE which properly passes
CONFIGURE_ENV
- updates spidermonkey to MozJS 128.8-ESR
- needs cbindgen now
- pet portclippy and portfmt (moved vars around)
- replaced multiple paths with MOZJS_WRKSRC
- removed a mozjs patch which is in upstream now