The challenges of verifying AI for healthcare