fix and comment alu
add more assertions to alu testbench