Theoretically you should never need the high jump, but it does help in a pinch. My intention was to write a shader that let you see platforms through the lava, but it was one of the many things I never got around to...
Thank you for playing!