A Scalable Algorithm for Decentralized Actor Termination Detection (Logical Methods in Computer Science, 2022)