Add alu-fast, a behavorial model of a comparing ALU. Not working.