Recognising Assumption Violations in Autonomous Systems Verification