First attempt to move my FSMs into BRAM failed with this message:
"ERROR: Portability:3 - This Xilinx application has run out of memory or has encountered a memory conflict..."
Most of the xilinx forum posts on this problem are answered with "we don't know, have you tried more RAM?". Some interesting other responses:
This is the most pertinent response, which talks about a few cases which produce this problem. It hints that piecemeal compilation is possible but I've never seen hints of how to do this before:
http://www.xilinx.com/support/answers/15336.htm
This guy seems to know what he's talking about, and he heroically bought a new computer, then switched to Linux to get it to work:
http://forums.xilinx.com/xlnx/board/message?board.id=ISE&thread.id=4524
This guy also went to heroic lengths, and came to the conclusion that he was being limited solely by computing power, wants supercomputers in The Cloud to do it for him.
http://fpgacomputing.blogspot.com/2009_07_01_archive.html
This hint was for possibly an older version of XST, but it offers the hope (taken) that I can just turn off RTL Schematic generation:
http://www.xilinx.com/support/answers/16904.htm