Add some newask tests

These tests test some things that were missed by the existing tests.
newask: Only get the facts for each expression once

This makes things much more efficient. Cached operations are almost 3 times
faster. The first run is faster, though not as much so, because the
known_facts_cnf.rcall(expr) line is still too slow.