Refuse NaN/Inf at every int8 quantize; requant rounds half-up (retrained); bounded units; README for September

verified: bound GEMM memory, certify the multiply LUT, test the shipped paths