Don't compute the And until the end in get_relevant_facts

This makes newask 4 times faster, because a lot of time was being spent in the
And constructor from the &= calls. Now, we just build up a set and convert it
to an And at the very end.