removed alternate mcReduce, added options mechanism to forall