Constant REFERENCE_NODE_BUDGET 

pub const REFERENCE_NODE_BUDGET: usize = 1_000_000;

The largest term (in tree nodes) the reference translation will build. Exports share subexpressions as a DAG; a tree unfolding is bounded so a hostile export cannot make the oracle allocate without limit.