On Twitter, Coolstar recommended just uninstalling Cydia after Semi-Restoring. Later, you can re-runn the Semi-Restore to reinstall it (one of the things it does is re-install Cydia). I am still a bit concerned about it still being jailbroken and having the modified file structure, but I suppose the worst that could happen is that they refuse to service it. I'd rather have it in an un-jailbroken state from which I could just re-run evasi0n, but I guess beggars can't be choosers.