A visualization platform for Pyretic