The odd thing is, SQL Doc should have been decrypting objects in all versions; it's a feature of SQL Doc.
You can try this: create a new user in the database and give it VIEW DEFINITION only. Then connect as that user from SQL Doc. Any encrypted procedures should just have the text "-- object has been encrypted".
It's sort-of mentioned here in the permissions doc for Red Gate SQL Tools.
http://documentation.red-gate.com/displ ... L+Compare#
Hope this helps!