GuaranTEE: Introducing Control-Flow Attestation for Trusted Execution Environments