nx_alu_divider_r4_test.nx

nx_alu_divider_r4_test.nx -- the divider's FULL qual+quant exceed proof. QUAL: radix-4 divider exhaustively correct over the whole 8-bit space. QUANT: radix-4 has FEWER subtract-stages than radix-2 (measured from the netlist by counting SUB cells = the sequential remainder-update depth). A full S-class exceed = BOTH (faster AND still 100%-correct). Honest scope: this is the STAGE-COUNT (iteration-latency) quant win; the further SRT carry-save (no carry-propagate add in the loop) win is a later step. Known answer (FAIL LOUD): "65280 65280 4 8 " = ok, total, r4_subtract_stages, r2_subtract_stages. exit 0 iff 100%-correct AND r4_subs < r2_subs.