more verilog testing - alu, signext