Added testcases for all reductions.

All tests pass, but currently the codegen is locked to the large code
model (the small code model has most of the groundwork laid down but has
several extra complexities which haven't yet been implemented, like
atomic reduction operators.