nightly push, currently updating not gate (i.e. all 1input gates)