Even with the CMV12000 though, someone should make a RPi module that "just works", or an alternative RPi that allows it to "just work", for those of us who want to spend our time working on the actual imaging and software ... it's kind of sad there's this huge graveyard of good sensors out there that just can't be used by imaging experts because electronics people gatekeep the industry and only release them at reasonable prices inside consumer devices, which isn't what those imaging experts want at least in terms of programmability, communication, and mounting options.
Looks like a ZWO ASI294 MC could be interesting. It's "only" Micro 4/3 and $700 in the cheapest config but having USB-3 and drivers may be what I was looking for.
Full-frame astro cameras are unfortunately around $5k+ (albeit with a resolution similar to a $3.5k A7RIV).