I don't think any mods that add lava to nauvis do it in a way where lava becomes an issue.
If the player has a mod that allows biters to swim, these "biters" are just animations until they take 1 damage so youre totally right that they just walk across the surface. It gets tougher to animate each thing differently depending on its terrain. Maybe i could do something with run time scripting but I really wanted to keep the game as performant as possible (minimal runtime scripting) if someone has proposals please let me know! I may come back to this after I release my next mod.