Add some missing explicit tests against ICE translation errors.