Thanks so much, @reelloops , this is really great to know moving forward!
If others come across this thread and would like to remove similar malware from their theme code, we always suggest you first duplicate the theme and work in the duplicate. That way you can always go back to your previous version if you accidentally remove pieces of code that mess up your website.