Proxy Verification and Validation For Critical Autonomous and AI Systems