no lava for online

Gah -- spent a week trying to bring lava (the new/more-beginner-friendly version) to online but, in the end, wasn't able to find a fully-consistent way to do it without, at the very least, tearing down some of the assumptions that online makes and replacing it with more complexity and some loss in responsiveness. The new lava will still be available for local play.

Aside from that, did manage to fix some bugs around lava and, I think, improve behavior around character state-switching online.