On Polynomial Approximations for Privacy-Preserving and Verifiable ReLU Networks