Fix tas_measure Ivory type signature.
Fix tas_measure Ivory type signature.

Not sure how I missed this three weeks ago...

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