Implement velocity, position, and TAS measurement codegen.
Implement velocity, position, and TAS measurement codegen.

GaloisInc/ivory-tower-stm32,GaloisInc/ivory-tower-stm32,GaloisInc/ivory-tower-stm32