Added back sentence about optimization, safey, and verification opportunities