India got a Mars probe in orbit - on the first try. The British crashed landed their Mars probe and lost it. Does the F-35 VTOL software get the same supercomputer modeling test treatment as the active retro thrust to final stage descent on Mars for nasa's surface vehicles?