Automating Image Segmentation Verification and Validation by Learning Test Oracles