passes deadlock and downgrade tests, fails first upgrade test