Non-escape of mass for arithmetic quantum limits on hyperbolic 4-manifolds | Synapse