Insuring Algorithmic Operations: Liability Risk, Pricing, and Risk Control | Synapse