Upgrade to agoric-upgrade-9