On AI Verification in Open RAN