Another thing, although they don't discuss it, it looks like this method also might get around the relativization barrier since the associated varieties when you have an attached oracle are going to look very different.