Associative intrinsic + tight schedule

• Adds max and min intrinsics to associative
• Adds tightness check for both associative and parallel schedules, by asserting the non-reduce arguments to the binop aren't in reduce's cycle