Add fully working 32-bit optimized code with all KATs enabled