Lazy factored inference optimizations

Expand model lazily from query - don't start from evidence nodes.
Tighter upper bound.