VerifiableFL: Verifiable Claims for Federated Learning using Exclaves