Development and Verification of a Flight Stack for a High-Altitude Glider in Ada/SPARK 2014