Text this: Advancing Federated Learning through Verifiable Computations and Homomorphic Encryption