more updates; cleanup of master; made decision update push-based; fixed run_all