مرحوم آیت الله هاشمی شاهرودی، عالِمی انقلابی و بصیر بود