Vulnerabilities in Agoric Systems Operating Company software