LibSEAL: Revealing Service Integrity Violations Using Trusted Execution