added random and equivalence alu tests