Text this: Detecting Silent Data Corruptions in Aerospace-Based Computing Using Program Invariants