Better testbench for ExecutAlu.