AGPLv3 allows one to add trademark terms that, when violated, revoke the copyright license.

This is not correct. The trademark doesn't affect the copyright but you need both in order to publish binaries with the original name and logo in a store.

You need a copyright license to use the binary. You need a trademark license to use the trademark. See the firefox -> iceweasel kerfuffle

Link to where Signal added these terms? You've posted a variant of this claim several times on this post but as far as I can see Signal-Desktop is licensed under a pure AGPLv3 which definitely does not have such terms.