Text this: Automatic method for searching impossible differentials and zero-correlation linear hulls of ARX block ciphers