Upgrade to agoric-upgrade-8