cleaned up stationary score computations
added choose_allc_vs_alld() sampling-based optimizer
Merge branch 'simple' into union