Flesh out tests for ALU