Fantastic you are using a soc with pci-e in the pi4. It would be even cooler if there would come a pi4 compute module with pci-e on the pins of the module.
I was even thinking of making an adapter for the usb 3.0 chip replace the chip with an adapter and m.2 socket...But that would be insane.

Or a Pi4 with m.2 slot, I think there is an extra lane free on the soc?
Cheers, goodluck and thanks !