Loupe: Verifying Publish-Subscribe Architectures with a Magnifying Lens