Wip 15757 refactor actorsystem termination √

No, I didn't want to encourage polling it—use the Future-combinators.