You might be happy to know that the project isn't on hold. It's live and completed! The 4MB expansion board for the Mac 512K is available
here and fully working.
My current ongoing project is to create a single board for the Macintosh 512K that integrates a 68030 accelerator(Bolle's Performer), the SCSI interface (Demik's MacSnap SCSI interface), the ROMINATOR I (BMOW), and a 4MB 32-bit wide zero wait state expansion board (based on the schematics Bolle reverse-engineered). So far, the 68030 accelerator, ROMINATOR, and SCSI work like a charm, and the PCB has been shaped to allow it to be installed along with the 4MB expansion board I made previously. See a picture of it
here.
The latest iteration that I'm working on that integrates the 32-bit 4MB RAM is still not functional. Bolle recently shared in this
other thread an unconfirmed schematic of a 32-bit RAM expansion board for the Total Systems Mercury 030 accelerator board. This 32-bit RAM board is particularly ingenious; it replaces the entire 4MB RAM space of the host machine with the fast RAM, except for the slow RAM (System RAM) region where the ROM locates the screen buffers. The logic implemented on the accelerator board side is almost identical to that of the Mercury 030 accelerator board.