I don't know if they work. Try them and let us know. MODE32 works in the emulation, and System 7 runs in 32-bit mode and with virtual memory in the IIci driver (although virtual memory's not too useful when you can just -ramsize 128M and have more memory than anyone dreamed of in 1991).
Playing musical ROMs isn't really necessary. As was already mentioned, MODE32 works in MESS to get 32-bit-clean on the IIx/IIcx, and the IIci driver is both 32-bit clean and fully capable after the fixes to the sound a few months ago.