[Tee-dev] what are the technical challenges for people developing TEEs and TEE apps?