Addressing the IEEE AV Test Challenge with Scenic and VerifAI