How to Succeed Against Increasing Pressure: Automated Techniques for Unburdening Verification Engineers