Interactive proofs for verifying (quantum) learning and testing