pass -O option to eval in rule test, so that generated eval-self.s will be identical to eval.s generated by rule eval.s