Message-Optimal and Latency-Optimal Termination Detection Algorithms for Arbitrary Topologies