Hi,@Bob Pants
Thanks for posting your question in the Microsoft Q&A forum.
Based on your questions, I will answer them in turn.
1. Some DGs have not yet been migrated, in addition to being manageable via PS, do these still rely on the CAS server being up and running?
DG is just a user group that you can fully manage using PowerShell. This process does not rely on the CAS server.
Based on your current environment, it is recommended that you delete the on-pre DG and then recreate the DG in Exchange Online.
2. Is there any documentation on deactivating Exchange Sever?
According to your situation, I checked the official documentation and found that the steps you provided are very correct.
To deactivate the Exchange server, refer to this URL: How and when to decommission your on-premises Exchange servers in a hybrid deployment | Microsoft Learn
If my answer is helpful to you, please mark it as the answer so that other users can refer to it. Thank you for your support and understanding.