أرسل هذا في رسالة قصيرة: Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification